25 results on '"Grégoire, Benjamin"'
Search Results
2. Enforcing Fine-grained Constant-time Policies
3. Structured Leakage and Applications to Cryptographic Constant-Time and Cost
4. EasyPQC: Verifying Post-Quantum Cryptography
5. Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
6. Security Analysis of ElGamal Implementations
7. Machine-Checked Proofs for Cryptographic Standards
8. FaCT: a DSL for timing-sensitive computation
9. Symbolic Proofs for Lattice-Based Cryptography
10. A Fast and Verified Software Stack for Secure Function Evaluation
11. Jasmin
12. Coupling proofs are probabilistic product programs
13. Advanced Probabilistic Couplings for Differential Privacy
14. Strong Non-Interference and Type-Directed Higher-Order Masking
15. Proving Differential Privacy via Probabilistic Couplings
16. Automated Proofs of Pairing-Based Cryptography
17. Proving Differential Privacy via Probabilistic Couplings.
18. Synthesis of Fault Attacks on Cryptographic Implementations
19. Probabilistic relational verification for cryptographic implementations
20. Fully automated analysis of padding-based encryption in the computational model
21. A Machine-Checked Formalization of Sigma-Protocols
22. Formally Certifying the Security of Digital Signature Schemes
23. Formal certification of code-based cryptographic proofs
24. A compiled implementation of strong reduction
25. Proving uniformity and independence by self-composition and coupling
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.