79 results on '"Grégoire, Benjamin"'
Search Results
2. Relational Reasoning via Probabilistic Coupling
3. Verified Proofs of Higher-Order Masking
4. Making RSA–PSS Provably Secure against Non-random Faults
5. Computer-Aided Cryptographic Proofs
6. Probabilistic Relational Hoare Logics for Computer-Aided Security Proofs
7. Verified Indifferentiable Hashing into Elliptic Curves
8. A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
9. Full Reduction at Full Throttle
10. Computer-Aided Security Proofs for the Working Cryptographer
11. Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
12. Beyond Provable Security Verifiable IND-CCA Security of OAEP
13. On Strong Normalization of the Calculus of Constructions with Type-Based Termination
14. Extending Coq with Imperative Features and Its Application to SAT Verification
15. Programming Language Techniques for Cryptographic Proofs
16. Implementing a Direct Method for Certificate Translation
17. A Tutorial on Type-Based Termination
18. A New Elimination Rule for the Calculus of Inductive Constructions
19. Formal Certification of ElGamal Encryption : A Gentle Introduction to CertiCrypt
20. Preservation of Proof Obligations from Java to the Java Virtual Machine
21. The MOBIUS Proof Carrying Code Infrastructure : (An Overview)
22. Type-Based Termination with Sized Products
23. Combining a Verification Condition Generator for a Bytecode Language with Static Analyses
24. MOBIUS: Mobility, Ubiquity, Security : Objectives and Progress Report
25. JACK — A Tool for Validation of Security and Behaviour of Java Applications
26. CIC: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions
27. Certificate Translation for Optimizing Compilers : (Extended Abstract)
28. A Purely Functional Library for Modular Arithmetic and Its Application to Certifying Large Prime Numbers
29. A Computational Approach to Pocklington Certificates in Type Theory
30. A Structured Approach to Proving Compiler Optimizations Based on Dataflow Analysis
31. Practical Inference for Type-Based Termination in a Polymorphic Setting
32. On the Role of Type Decorations in the Calculus of Inductive Constructions
33. Proving Equalities in a Commutative Ring Done Right in Coq
34. Verified Proofs of Higher-Order Masking
35. Relational Reasoning via Probabilistic Coupling
36. Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
37. Making RSA–PSS Provably Secure against Non-random Faults
38. Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs
39. Computer-Aided Cryptographic Proofs
40. Computer-Aided Security Proofs for the Working Cryptographer
41. Full Reduction at Full Throttle
42. A Modular Integration of SAT/SMT Solvers to Coq through Proof Witnesses
43. Beyond Provable Security Verifiable IND-CCA Security of OAEP
44. Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving
45. Extending Coq with Imperative Features and Its Application to SAT Verification
46. Programming Language Techniques for Cryptographic Proofs
47. On Strong Normalization of the Calculus of Constructions with Type-Based Termination
48. Formal Certification of ElGamal Encryption
49. A Tutorial on Type-Based Termination
50. Implementing a Direct Method for Certificate Translation
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.