Adrien Koutsos

Latest

• Secrecy in Squirrel and the Post-Compromise Security of a Ratchet
• Robust Logical Foundations for Mechanizing Post-Quantum Cryptography in Squirrel
• Leveraging Cryptographic Simulator Synthesis for Formally Verifying the FOO E-Voting Protocol
• Interactive Proofs in Higher-Order Logic with Errors and Application to Concrete Cryptography
• 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