13 results on '"Grégoire, Benjamin"'
Search Results
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
7. Preservation of Proof Obligations from Java to the Java Virtual Machine
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.