Skip to Main content Skip to Navigation
  1. Search


...
tel-03021689v1  Theses
Ida Tucker. Functional encryption and distributed signatures based on projective hash functions, the benefit of class groups
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN054⟩
...
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-03116774v1  Theses
Radu Titiu. New Encryption Schemes and Pseudo-Random Functions with Advanced Properties from Standard Assumptions
Cryptography and Security [cs.CR]. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEN050⟩
...
tel-03058306v1  Theses
Ferdinand Sibleyras. Security of Modes of Operation and other provably secure cryptographic schemes
Computer Science [cs]. Sorbonne Université, 2020. English
...
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 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-00866646v1  Journal articles
Pascal Cotret, Guy 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-01750226v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages criptographiques
Autre [cs.OH]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0157⟩
...
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⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/