Adrien Koutsos
Adrien Koutsos
Home
Publications
Some Talks
Teaching
Contact
CV
Light
Dark
Automatic
Adrien Koutsos
Latest
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
A Higher-Order Indistinguishability Logic for Cryptographic Reasoning
Semantic Foundations for Cost Analysis of Pipeline-Optimized Programs
Cracking the Stateful Nut: Computational Proofs of Stateful Security Protocols using the Squirrel Proof Assistant
Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
An Interactive Prover for Protocol Verification in the Computational Model
High-Assurance Cryptography in the Spectre Era
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
Decidability of a Sound Set of Inference Rules for Computational Indistinguishability
Symbolic Proofs of Computational Indistinguishability
The 5G-AKA Authentication Protocol Privacy
A Sound Flow-Sensitive Heap Abstraction for the Static Analysis of Android Applications
Formal Computational Unlinkability Proofs of RFID Protocols
Process-centric views of data-driven business artifacts
Process-Centric Views of Data-Driven Business Artifacts
Cite
×