Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Zanella Béguelin, Santiago - Madrid Institute for Advanced Studies in Software Development Technologies (IMDEA Software Institute)
Beyond Provable Security Verifiable IND-CCA Security of OAEP
Programming Language Techniques for Cryptographic Proofs
Formally Certifying the Security of Digital Signature Schemes Santiago Zanella Beguelin Benjamin Gregoire
Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gregoire1,3 Santiago Zanella1,3
1234145467836391829836846489A2BCBD183 cole doctorale nO
Formal certification of ElGamal encryption A gentle introduction to CertiCrypt
Computer-Aided Security Proofs for the Working Cryptographer
A Machine-Checked Formalization of Sigma-Protocols Gilles Barthe, Daniel Hedin, Santiago Zanella Beguelin
A Formal Specification of the MIDP 2.0 Security Model
Formalisation and Verification of the GlobalPlatform Card Specification
Verifiable Security of Boneh-Franklin Identity-Based Encryption
Probabilistic Relational Reasoning for Differential Privacy Gilles Barthe Boris Kopf Federico Olmedo Santiago Zanella Beguelin
Verified Indifferentiable Hashing into Elliptic Curves
