Skip to Main content Skip to Navigation


...
pastel-00677421v1  Theses
Morgan Barbier. Décodage en liste et application à la sécurité de l'information
Cryptographie et sécurité [cs.CR]. Ecole Polytechnique X, 2011. Français
...
tel-02138082v1  Theses
Florian Dold. The GNU Taler system : practical and provably secure electronic payments
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S008⟩
...
tel-01422093v2  Theses
Alain Passelègue. Algebraic frameworks for pseudorandom functions
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE059⟩
...
pastel-00584350v1  Theses
Santiago Zanella-Béguelin. Formal certification of game-based cryptographic proofs
Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. ⟨NNT : 2010ENMP0050⟩
hal-01441538v1  Journal articles
Michael FrançoisRobert ErraDominique BarchiesiThomas Grosges. A Novel Pseudo Random Number Generator Based on Two Plasmonic Maps
Applied Mathematics, Scientific Research Publishing, 2012, 3 (11), pp.1664--1673. ⟨10.4236/am.2012.311230⟩
...
tel-00931811v1  Theses
Rafael Misoczki. Two Approaches for Achieving Efficient Code-Based Cryptosystems
Cryptography and Security [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2013. English
hal-01068374v1  Directions of work or proceedings
Michel AbdallaRoberto de Prisco. Security and Cryptography for Networks - SCN 2014
Michel Abdalla; Roberto De Prisco. Security and Cryptography for Networks - SCN 2014, Sep 2014, Amalfi, Italy. 8642, Springer, pp.609, 2014, Lecture Notes in Computer Science, 978-3-319-10878-0. ⟨10.1007/978-3-319-10879-7⟩
...
tel-00438765v1  Theses
yann Laigle-Chapuy. Polynômes de permutation et applications en cryptographie - Cryptanalyse de registres combinés
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2009. Français
...
inria-00614372v1  Conference papers
Cédric FournetMarkulf KohlweissPierre-yves Strub. Modular Code-Based Cryptographic Verification
18th ACM Conference on Computer and Communications Security, Oct 2011, Chicago, United States
...
tel-00200407v1  Habilitation à diriger des recherches
Pierre Loidreau. Metrique rang et cryptographie
Mathématiques [math]. Université Pierre et Marie Curie - Paris VI, 2007
...
tel-01403849v2  Theses
Hugo Labrande. Explicit computation of the Abel-Jacobi map and its inverse
Computational Geometry [cs.CG]. Université de Lorraine, 2016. English. ⟨NNT : 2016LORR0142⟩
...
tel-01399476v2  Theses
Fabrice Benhamouda. Diverse modules and zero-knowledge
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2016. English. ⟨NNT : 2016PSLEE022⟩
...
tel-01913872v1  Theses
Fabrice Mouhartem. Privacy-preserving cryptography from pairings and lattices
Cryptography and Security [cs.CR]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN060⟩
...
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
...
lirmm-01421143v1  Conference papers
Jérémie ClémentBruno MussardDavid NaccacheLionel Torres. Implementation of AES Using NVM Memories Based on Comparison Function
ISVLSI: International Symposium on Very Large Scale Integration, Jul 2015, Montpellier, France. pp.356-361, ⟨10.1109/ISVLSI.2015.37⟩
...
hal-01588421v2  Conference papers
Jean-Karim ZinzindohouéKarthikeyan BhargavanJonathan ProtzenkoBenjamin Beurdouche. HACL * : A Verified Modern Cryptographic Library
ACM Conference on Computer and Communications Security (CCS), Oct 2017, Dallas, United States
hal-01869014v1  Directions of work or proceedings
Abdessamad ImineJosé M. FernandezJean-yves MarionLuigi LogrippoJoaquin Garcia-Alfaro. Foundations and Practice of Security : 10th International Symposium, FPS 2017, Nancy, France, October 23-25, 2017, revised selected papers
FPS 2017 - 10th International Symposium on Foundations and Practice of Security, Oct 2017, Nancy, France. Lecture Notes in Computer Science, 10723, Springer, pp.319, 2018, FPS: International Symposium on Foundations and Practice of Security, 978-3-319-75649-3. ⟨10.1007/978-3-319-75650-9⟩
...
hal-01700565v1  Journal articles
François Pellegrini. La liberté à l'ère numérique
Politeia - Les Cahiers de l'Association Française des Auditeurs de l'Académie Internationale de Droit constitutionnel, Association française des auditeurs de l'Académie internationale de droit constitutionnel, 2017, Les métamorphoses des droits fondamentaux à l'ère du numérique, 31, pp.161-172
...
tel-00528942v1  Theses
Damien Robert. Fonctions thêta et applications à la cryptographie
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
hal-00756869v1  Conference papers
Hans van DitmarschJan van EijckIgnacio Hernández-AntónFloor SietsmaSunil Simon et al.  Modelling Cryptographic Keys In Dynamic Epistemic Logic With DEMO
PAAMS 2012 - 10th International Conference on Practical Applications of Agents and Multi-Agent Systems, Mar 2012, Salamanca, Spain. pp.155-162, ⟨10.1007/978-3-642-28762-6_19⟩
...
tel-02946399v1  Theses
Mélissa Rossi. Extended Security of Lattice-Based Cryptography
Cryptography and Security [cs.CR]. Équipe CASCADE, Département d'Informatique de l'ENS de Paris; Université PSL, 2020. English
...
tel-01949339v2  Theses
Weiqiang Wen. Contributions to the hardness foundations of lattice-based cryptography
Computational Complexity [cs.CC]. Université de Lyon, 2018. English. ⟨NNT : 2018LYSEN070⟩
...
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