Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gilles Barthe
Computer-Aided Security Proofs for the Working Cryptographer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Computer-Aided Cryptographic Proofs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Monadic Refinements for Relational Cost Analysis
Proceedings of the ACM on Programming Languages
Strong Non-Interference and Type-Directed Higher-Order Masking
A Machine-Checked Formalization of the Generic Model and the Random Oracle Model
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
