Skip to Main content Skip to Navigation


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 BhargavanFranziskus KieferPierre-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-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 TongHervé SibertJérémy LecoeurMarc 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 GaberSaïd GharoutMohammed AchemlalMarc PasquetPascal 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 UrienMarc 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
...
hal-01501424v1  Conference papers
Robert RiemannSté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-AbedRomain GiotBaptiste HemeryJulien MahierChristophe 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 DimitrakakisBlaine NelsonZuhe ZhangAikateirni MitrokotsaBenjamin Rubinstein. Differential Privacy for Bayesian Inference through Posterior Sampling
Journal of Machine Learning Research, Microtome Publishing, 2017, 18 (11), pp.1−39
...
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-01511323v1  Book sections
Saad El JaouhariAhmed BouabdallahJean-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 GatouillatYouakim BadrBertrand 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 GatouillatYouakim 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
...
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 BoherDavid HelyVincent BeroulleKamil GominaJoë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
...
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