Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Gregoire, Benjamin - Institut National de Recherche en Informatique et en Automatique, Centre de recherche Sophia Antipolis - Méditerranée
Certificate Translation for Optimizing Compilers Gilles Barthe
Security and Verification Provable cryptography
Compilation of certificates Gilles BARTHE Benjamin GRGOIRE Tamara REZK
A tutorial on type-based termination Gilles Barthe1
Formal Certification of Code-Based Cryptographic Proofs Gilles Barthe1,2 Benjamin Gregoire1,3 Santiago Zanella1,3
Security and Verification Provable cryptography
