Adrien Koutsos
Adrien Koutsos
Home
Publications
Some Talks
Contact
CV
Light
Dark
Automatic
Adrien Koutsos
Latest
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
×