Search

Adrien Koutsos

Foundations for Cryptographic Reductions in CCSA Logics
A Probabilistic Logic for Concrete Security
The Squirrel Prover and its Logic
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