All Stories

  1. SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols

    Article • December 2024, ACM (Association for Computing Machinery)

    Robert Künnemann

  2. Universal Composability is Robust Compilation

    Article • ACM Transactions on Programming Languages and Systems, October 2024, ACM (Association for Computing Machinery)

    Robert Künnemann

  3. CryptoBap: A Binary Analysis Platform for Cryptographic Protocols

    Article • November 2023, ACM (Association for Computing Machinery)

    Faezeh Nasrabadi, Robert Künnemann

  4. Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice

    Article • ACM Transactions on Privacy and Security, March 2023, ACM (Association for Computing Machinery)

    Robert Künnemann

  5. Understanding how cryptography should be dealt with in Android Applications

    Article • October 2016, ACM (Association for Computing Machinery)

    Esfandiar Mohammadi, Robert Künnemann