| 2024 | CCS | SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols. | Kevin Morio, Robert Knnemann |
| 2023 | CCS | CryptoBap: A Binary Analysis Platform for Cryptographic Protocols. | Faezeh Nasrabadi, Robert Knnemann, Hamed Nemati |
| 2023 | NDSS | Accountable Javascript Code Delivery. | Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon, Robert Knnemann |
| 2021 | AAAI | Faster Stackelberg Planning via Symbolic Search and Information Sharing. | lvaro Torralba, Patrick Speicher, Robert Knnemann, Marcel Steinmetz, Jrg Hoffmann |
| 2020 | ACNS | TrollThrottle - Raising the Cost of Astroturfing. | Ilkan Esiyok, Lucjan Hanzlik, Robert Knnemann, Lena Marie Budde, Michael Backes |
| 2020 | CCS | Short Paper: Modular Black-box Runtime Verification of Security Protocols. | Kevin Morio, Dennis Jackson, Marco Vassena, Robert Knnemann |
| 2020 | ESORICS | MAC-in-the-Box: Verifying a Minimalistic Hardware Design for MAC Computation. | Robert Knnemann, Hamed Nemati |
| 2019 | SAC | Towards automated network mitigation analysis. | Patrick Speicher, Marcel Steinmetz, Jrg Hoffmann, Michael Backes, Robert Knnemann |
| 2018 | AAAI | Stackelberg Planning: Towards Effective Leader-Follower State Space Search. | Patrick Speicher, Marcel Steinmetz, Michael Backes, Jrg Hoffmann, Robert Knnemann |
| 2016 | CCS | Computational Soundness for Dalvik Bytecode. | Michael Backes, Robert Knnemann, Esfandiar Mohammadi |
| 2014 | SP | Automated Analysis of Security Protocols with Global State. | Steve Kremer, Robert Knnemann |
| 2013 | ESORICS | Universally Composable Key-Management. | Steve Kremer, Robert Knnemann, Graham Steel |