Search

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

Search Constraints

Start Over You searched for: Author "Grégoire, Benjamin" Remove constraint Author: "Grégoire, Benjamin" Topic proof assistant Remove constraint Topic: proof assistant
13 results on '"Grégoire, Benjamin"'

Search Results

1. Relational Reasoning via Probabilistic Coupling

2. Full Reduction at Full Throttle

3. Proof Certificates for Algebra and Their Application to Automatic Geometry Theorem Proving

4. Beyond Provable Security Verifiable IND-CCA Security of OAEP

5. On Strong Normalization of the Calculus of Constructions with Type-Based Termination

6. Programming Language Techniques for Cryptographic Proofs

8. The MOBIUS Proof Carrying Code Infrastructure : (An Overview)

9. MOBIUS: Mobility, Ubiquity, Security : Objectives and Progress Report

10. CIC: Type-Based Termination of Recursive Definitions in the Calculus of Inductive Constructions

11. Practical Inference for Type-Based Termination in a Polymorphic Setting

12. Proving Equalities in a Commutative Ring Done Right in Coq

13. Modular Proof Principles for Parameterised Concretizations

Catalog

Books, media, physical & digital resources