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