The following pages link to Gilles Barthe (Q236461):
Displaying 14 items.
- Typed Lambda Calculi and Applications (Q5704030) (← links)
- Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model (Q5738889) (← links)
- Automated Unbounded Analysis of Cryptographic Constructions in the Generic Group Model (Q5739224) (← links)
- Programming Language Techniques for Cryptographic Proofs (Q5747645) (← links)
- A Certified Lightweight Non-interference Java Bytecode Verifier (Q5756494) (← links)
- Types for Proofs and Programs (Q5898171) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5901899) (← links)
- Weak normalization implies strong normalization in a class of non-dependent pure type systems (Q5958619) (← links)
- An induction principle for pure type systems (Q5958776) (← links)
- Masking the GLP lattice-based signature scheme at any order (Q6182002) (← links)
- Congruence types (Q6560160) (← links)
- Formally verifying Kyber. Episode V: machine-checked IND-CCA security and correctness of ML-KEM in Easycrypt (Q6648215) (← links)
- Quantum weakest preconditions for reasoning about expected runtimes of quantum programs (Q6649432) (← links)
- Approximate span liftings. Compositional semantics for relaxations of differential privacy (Q6654479) (← links)
