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