Browse by search - Archive ouverte HAL

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	hal-01505022v1 Other publications Arnaud Tisserand. Cybersécurité, attaques et protections des puces électroniques 2017, https://armorscience.wordpress.com/conferences-et-cafes-science/annee-2016-2017/la-cybersecurite/
	tel-01950884v2 Theses Nadim Kobeissi. Formal Verification for Real-World Cryptographic Protocols and Implementations Computer Science [cs]. INRIA Paris; Ecole Normale Supérieure de Paris - ENS Paris, 2018. English
	hal-01967342v1 Conference papers Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub. hacspec: Towards Verifiable Crypto Standards Security Standardisation Research. SSR 2018, Nov 2018, Darmstadt, Germany. pp.1-20, ⟨10.1007/978-3-030-04762-7_1⟩
	hal-01005761v1 Patents Marc Pasquet. Procédé de génération et d'utilisation d'un titre dématérialisé dans un dispositif portable et système de gestion de titres correspondant France, N° de brevet: CCR. B11-1113FR. 2011
	hal-01005829v1 Conference papers Marc Pasquet. State of Art and Perspective in E-Payment 3rd International Workshop on Security and Communication Networks (IWSCN), May 2011, gjovik, Norway
	hal-01005831v1 Conference papers Marc Pasquet. Commission multilatérale d'interchange Conférence Mastercard CMI, Apr 2013, Marrakech, Maroc
	hal-00156447v1 Conference papers Valérie Viet Triem Tong, Hervé Sibert, Jérémy Lecoeur, Marc Girault. FingerKey, un cryptosystème biométrique pour l'authentification Conférence sur la Sécurité et Architectures Réseaux, Jun 2007, annecy, France
	hal-01005144v1 Conference papers Chrystel Gaber, Saïd Gharout, Mohammed Achemlal, Marc Pasquet, Pascal Urien. Security challenges of mobile money transfer services Conférence sur la Sécurité des Architectures Réseaux et des Systèmes d'Information (SARSSI), May 2012, Cabourg, France
	hal-01005804v1 Book sections Pascal Urien, Marc Pasquet. Une plateforme de dématérialisation de prépaiement innovante TELECOM, Revue de l'association Télécom PArisTEch alumni, pp.76--79, 2011
	hal-01005826v1 Conference papers Marc Pasquet. Les cartes multiservices et le transport Assises des Transactions Electroniques dans les Collectivités Territoriales (TECT), Oct 2010, Lyon, France
	lirmm-00145805v1 Journal articles Sylvain Duquesne. Improving the Arithmetic of Elliptic Curves in the Jacobi Model Information Processing Letters, Elsevier, 2007, 0, pp.5. ⟨10.1016/j.ipl.2007.05.012⟩
	hal-01501424v1 Conference papers Robert Riemann, Stéphane Grumbach. Distributed Protocols at the Rescue for Trustworthy Online Voting 3rd International Conference on Information Systems Security and Privacy (ICISSP 2017), Feb 2017, Porto, Portugal. pp.499 - 505, ⟨10.5220/0006228504990505⟩
	hal-01000267v1 Book sections Mohamad El-Abed, Romain Giot, Baptiste Hemery, Julien Mahier, Christophe Rosenberger. Évaluation des performances d'un système biométrique Traitement du signal et de l'image pour la biométrie, Hermès, Chapitre 11 - 23 p., 2012
	hal-01500302v1 Journal articles Christos Dimitrakakis, Blaine Nelson, Zuhe Zhang, Aikateirni Mitrokotsa, Benjamin Rubinstein. Differential Privacy for Bayesian Inference through Posterior Sampling Journal of Machine Learning Research, Microtome Publishing, 2017, 18 (11), pp.1−39
	hal-01000223v1 Conference papers Vincent Alimi, Christophe Rosenberger, Sylvain Vernois. A mobile contactless point of sale enhanced by the NFC technology and a match-on-card signature verification algorithm Smart Mobility event in NFC World Congress, 2011, nice, France
	hal-01000037v1 Other publications Baptiste Hemery, Julien Mahier, Christophe Rosenberger. Distributed software for Benchmark Computing 2010
	hal-01000075v1 Other publications Alexandre Ninassi, Christophe Rosenberger. Vers des systèmes "intelligents" de vidéo-surveillance des chevaux 2010
	inria-00142672v1 Conference papers Bogdan Cautis. Distributed Access Control: A Privacy-conscious Approach ACM Symposium on Access Control Models and Technologies (SACMAT), 2007, Sophia-Antipolis, France
	hal-01009283v1 Conference papers Georges Bossert, Frédéric Guihéry, Guillaume Hiet. Towards Automated Protocol Reverse Engineering Using Semantic Information ASIA CCS '14, Jun 2014, Kyoto, Japan. pp.51-62, ⟨10.1145/2590296.2590346⟩
	hal-01511323v1 Book sections Saad El Jaouhari, Ahmed Bouabdallah, Jean-Marie Bonnin. Security issues of the web of things Managing the Web of Things : Linking the Real World to the Web, Elsevier, pp.389 - 424, 2017, 978-0-12-809764-9. ⟨10.1016/B978-0-12-809764-9.00018-4⟩
	inria-00161019v1 Conference papers Gurvan Le Guernic. Automaton-based Confidentiality Monitoring of Concurrent Programs Computer Security Foundations Symposium, Jul 2007, S. Servolo island, Venice, Italy
	hal-01619297v1 Conference papers Arthur Gatouillat, Youakim Badr, Bertrand Massot. QoS-Driven Self-Adaptation for Critical IoT-Based Systems Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA), Nov 2017, Malaga, Spain. pp.93-105, ⟨10.1007/978-3-319-91764-1_8⟩
	hal-01619270v1 Conference papers Arthur Gatouillat, Youakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices 9th International Conference on Management of Digital EcoSystems (MEDES), Nov 2017, Bangkok, Thailand. pp.235-242, ⟨10.1145/3167020.3167056⟩
	tel-01007682v1 Theses Johann Vincent. Identité numérique en contexte Télécom Cryptographie et sécurité [cs.CR]. Université de Caen, 2013. Français
	hal-02008841v1 Journal articles Abdellah Kaci, Thouraya Bouabana-Tebibel, Abderrezak Rachedi, Chafia Yahiaoui. Toward a big data approach for indexing encrypted data in Cloud Computing Security and Privacy , Wiley, 2019, 2 (3), ⟨10.1002/spy2.65⟩
	tel-01010013v1 Habilitation à diriger des recherches Nicolas Larrieu. Contribution à l'amélioration de la qualité de service et de la sécurité pour les communications de données en environnement réseau contraint Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2014
	hal-01010298v1 Conference papers Noémie Boher, David Hely, Vincent Beroulle, Kamil Gomina, Joël Damiens et al. Evaluating and Enhancing the Security of Analog and Mixed IPs in Complex System On Chip Workshop on Trustworthy Manufacturing and Utilization of Secure Devices, TRUDEVICE 2013, May 2013, Avignon, France
	hal-00142440v2 Preprints, Working Papers, ... Roberto Di Cosmo. On privacy and anonymity in electronic and non electronic voting: the ballot-as-signature attack. 2007
	tel-01416242v1 Habilitation à diriger des recherches Guénaël Renault. Contribution à la Résolution Algébrique et Applications en Cryptologie Calcul formel [cs.SC]. UPMC - Paris 6 Sorbonne Universités, 2016
	inria-00159987v1 Reports Gurvan Le Guernic. Automaton-based Non-interference Monitoring of Concurrent Programs [Research Report] 2007
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize