10 results on '"Grégoire, Benjamin"'
Search Results
2. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
3. Formal verification of a constant-time preserving C compiler
4. Evaluation Artifact for FaCT
5. Proving expected sensitivity of probabilistic programs
6. Coupling proofs are probabilistic product programs
7. Probabilistic relational verification for cryptographic implementations
8. Certificate translation for optimizing compilers
9. Formal certification of code-based cryptographic proofs
10. A compiled implementation of strong reduction
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.