Search

Your search keyword '"Grégoire, Benjamin"' showing total 79 results

Search Constraints

Start Over You searched for: Author "Grégoire, Benjamin" Remove constraint Author: "Grégoire, Benjamin" Publisher springer berlin heidelberg Remove constraint Publisher: springer berlin heidelberg
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

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

36. Automation in Computer-Aided Cryptography: Proofs, Attacks and Designs

Catalog

Books, media, physical & digital resources