Skip to Main content Skip to Navigation


...
tel-01981380v2  Theses
Jean-Karim Zinzindohoué-Marsaudon. Secure, fast and verified cryptographic applications : a scalable approach
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE052⟩
...
tel-00578816v1  Habilitation à diriger des recherches
Véronique Cortier. Analyse des protocoles cryptographiques: des modèles symboliques aux modèles calculatoires
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
...
tel-01399914v2  Theses
Mario Cornejo-Ramirez. Security for the cloud
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE049⟩
...
tel-01868828v2  Theses
Pierre-Alain Dupont. Advanced password-authenticated key exchanges
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE053⟩
...
tel-02445482v1  Theses
Rafaël Del Pino. Efficient lattice-based zero-knowledge proofs and applications
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE055⟩
...
tel-01526699v1  Theses
Marie Paindavoine. Méthodes de calculs sur les données chiffrées
Cryptographie et sécurité [cs.CR]. Université de Lyon, 2017. Français. ⟨NNT : 2017LYSE1009⟩
...
tel-01768559v1  Theses
Diana Ştefania Maimuţ. Authentication and encryption protocols : design, attacks and algorithmic improvements
Cryptography and Security [cs.CR]. Ecole normale supérieure - ENS PARIS, 2015. English. ⟨NNT : 2015ENSU0047⟩
...
tel-02888512v2  Theses
Chen Qian. Lossy trapdoor primitives, zero-knowledge proofs and applications
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S088⟩
...
tel-01235213v2  Theses
Olivier Sanders. Conception et optimisation de mécanismes cryptographique anonymes
Cryptographie et sécurité [cs.CR]. Ecole normale supérieure - ENS PARIS, 2015. Français. ⟨NNT : 2015ENSU0027⟩
...
tel-03630843v1  Theses
Charles Bouillaguet. Algorithms for some hard problems and cryptographic attacks against specific cryptographic primitives
Cryptography and Security [cs.CR]. Université Paris Diderot (Paris 7), 2011. English
...
tel-03150443v1  Theses
Cécile Baritel-Ruet. Formal Security Proofs of Cryptographic Standards
Computer Science [cs]. Université côte d'azur, 2020. English
...
tel-03364389v2  Theses
Quentin Santos. Cryptography for pragmatic distributed trust and the role of blockchain
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE078⟩
...
tel-01748202v2  Theses
Nazim Benaissa. La composition des protocoles de sécurité avec la méthode B événementielle
Modélisation et simulation. Université Henri Poincaré - Nancy 1, 2010. Français. ⟨NNT : 2010NAN10034⟩
...
tel-00261461v1  Theses
Mathieu Cluzeau. Reconstruction d'un schéma de codage
Autre [cs.OH]. Ecole Polytechnique X, 2006. Français
hal-00432625v1  Conference papers
Marion Videau. Aspects techniques de la preuve reposant sur l'écrit électronique
La preuve des actes juridiques électroniques privés : mosaïque des droits européens ou trait d'Union ?, May 2009, Lille, France. pp.15-18 (RLDI 1743)
...
tel-01142563v1  Theses
Gregory Landais. Mise en oeuvre de cryptosystèmes basés sur les codes correcteurs d'erreurs et de leurs cryptanalyses
Théorie de l'information [cs.IT]. Université Pierre et Marie Curie - Paris VI, 2014. Français. ⟨NNT : 2014PA066602⟩
...
tel-01563979v1  Theses
Evmorfia-Iro Bartzia. A formalization of elliptic curves for cryptography
Cryptography and Security [cs.CR]. Université Paris Saclay (COmUE), 2017. English. ⟨NNT : 2017SACLX002⟩
hal-01350391v1  Journal articles
Jean-Paul Delahaye. Un calcul révolutionnaire
Interstices, INRIA, 2008
...
tel-00870910v1  Theses
Mario Strefler. Broadcast Encryption with Traitor Tracing
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English
...
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-00866646v1  Journal articles
Pascal CotretGuy Gogniat. Protection des architectures hétérogènes sur FPGA : une approche par pare-feux matériels
Techniques de l'Ingenieur, Techniques de l'ingénieur, 2014, Référence IN175 - 10 p
...
tel-01665358v2  Theses
Pierrick Méaux. Hybrid fully homomorphic framework
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE066⟩
...
tel-00768787v1  Theses
Olivier Blazy. Preuves de connaissances interactives et non-interactives
Cryptographie et sécurité [cs.CR]. Université Paris-Diderot - Paris VII, 2012. Français
...
tel-01764625v1  Theses
Adrian Thillard. Countermeasures to side-channel attacks and secure multi-party computation
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE053⟩