YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM. - Robert Künnemann; Graham Steel (STM, 2012)

Universally Composable Key-Management. - Steve Kremer; Robert Künnemann; Graham Steel (IACR Cryptol. ePrint Arch., 2012)

Foundations for analyzing security APIs in the symbolic and computational model. (Fondations d'analyse de APIs de sécurité dans le modèle symbolique et calculatoire). - Robert Künnemann (2014)

Automated Backward Analysis of PKCS#11 v2.20. - Robert Künnemann (POST, 2015)

Computational Soundness for Dalvik Bytecode. - Michael Backes 001; Robert Künnemann; Esfandiar Mohammadi (CCS, 2016)

Automated analysis of security protocols with global state. - Steve Kremer; Robert Künnemann (J. Comput. Secur., 2016)

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. - Michael Backes 001; Jannik Dreier; Steve Kremer; Robert Künnemann (EuroS&P, 2017)

Simulated Penetration Testing and Mitigation Analysis. - Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann; Patrick Speicher; Marcel Steinmetz (CoRR, 2017)

Sufficient and necessary causation are dual. - Robert Künnemann (CoRR, 2017)

Stackelberg Planning: Towards Effective Leader-Follower State Space Search. - Patrick Speicher; Marcel Steinmetz; Michael Backes 001; Jörg Hoffmann 001; Robert Künnemann (AAAI, 2018)

Formally Reasoning about the Cost and Efficacy of Securing the Email Infrastructure. - Patrick Speicher; Marcel Steinmetz; Robert Künnemann; Milivoj Simeonovski; Giancarlo Pellegrino; Jörg Hoffmann 001; Michael Backes 001 (EuroS&P, 2018)

Accountability in Security Protocols. - Robert Künnemann; Deepak Garg 001; Michael Backes 001 (IACR Cryptol. ePrint Arch., 2018)

Automated Verification of Accountability in Security Protocols. - Robert Künnemann; Ilkan Esiyok; Michael Backes 001 (CSF, 2019)

Towards automated network mitigation analysis. - Patrick Speicher; Marcel Steinmetz; Jörg Hoffmann 001; Michael Backes 001; Robert Künnemann (SAC, 2019)

Universal Composability is Secure Compilation. - Marco Patrignani; Riad S. Wahby; Robert Künnemann (CoRR, 2019)

Causality & Control Flow. - Robert Künnemann; Deepak Garg 001; Michael Backes 001 (CREST@ETAPS, 2019)

How to wrap it up - A formally verified proposal for the use of authenticated wrapping in PKCS #11. - Alexander Dax; Robert Künnemann; Sven Tangermann; Michael Backes 001 (IACR Cryptol. ePrint Arch., 2019)

TrollThrottle - Raising the Cost of Astroturfing. - Ilkan Esiyok; Lucjan Hanzlik; Robert Künnemann; Lena Marie Budde; Michael Backes 001 (ACNS (2), 2020)

Short Paper: Modular Black-box Runtime Verification of Security Protocols. - Kevin Morio; Dennis Jackson; Marco Vassena; Robert Künnemann (PLAS@CCS, 2020)

MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation. - Robert Künnemann; Hamed Nemati (ESORICS (2), 2020)

Faster Stackelberg Planning via Symbolic Search and Information Sharing. - Álvaro Torralba; Patrick Speicher; Robert Künnemann; Marcel Steinmetz; Jörg Hoffmann 001 (AAAI, 2021)

On the Soundness of Infrastructure Adversaries. - Alexander Dax; Robert Künnemann (CSF, 2021)

Accountability in the Decentralised-Adversary Setting. - Robert Künnemann; Deepak Garg 001; Michael Backes 001 (CSF, 2021)

Verifying Accountability for Unbounded Sets of Participants. - Kevin Morio; Robert Künnemann (CSF, 2021)

Sapic+: protocol verifiers of the world, unite! - Vincent Cheval; Charlie Jacomme; Steve Kremer; Robert Künnemann (IACR Cryptol. ePrint Arch., 2022)

Lifted Stackelberg Planning. - Philipp Sauer; Marcel Steinmetz; Robert Künnemann; Jörg Hoffmann 001 (ICAPS, 2023)

CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. - Faezeh Nasrabadi; Robert Künnemann; Hamed Nemati (CCS, 2023)

Accountable Javascript Code Delivery. - Ilkan Esiyok; Pascal Berrang; Katriel Cohn-Gordon; Robert Künnemann (NDSS, 2023)

Automated Security Analysis of Exposure Notification Systems. - Kevin Morio; Ilkan Esiyok; Dennis Jackson; Robert Künnemann (USENIX Security Symposium, 2023)

Pareto-optimal Defenses for the Web Infrastructure: Theory and Practice. - Giorgio Di Tizio; Patrick Speicher; Milivoj Simeonovski; Michael Backes 001; Ben Stock; Robert Künnemann (ACM Trans. Priv. Secur., 2023)

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols. - Kevin Morio; Robert Künnemann (CCS, 2024)

Computationally Bounded Robust Compilation and Universally Composable Security. - Robert Künnemann; Marco Patrignani; Ethan Cecchetti (CSF, 2024)

Adaptive Exploit Generation against Security Devices and Security APIs. - Robert Künnemann; Julian Biehl (CoRR, 2024)

Universal Composability Is Robust Compilation. - Marco Patrignani; Robert Künnemann; Riad S. Wahby; Ethan Cecchetti (ACM Trans. Program. Lang. Syst., 2024)

Symbolic Parallel Composition for Multi-language Protocol Verification. - Faezeh Nasrabadi; Robert Künnemann; Hamed Nemati (CSF, 2025)