| Automated verification of accountability in security protocols R Künnemann, I Esiyok, M Backes 2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 397-39716, 2019 | 30 | 2019 |
| Automated security analysis of exposure notification systems K Morio, I Esiyok, D Jackson, R Künnemann 32nd USENIX Security Symposium (USENIX Security 23), 6593-6610, 2023 | 2 | 2023 |
| TrollThrottle—Raising the Cost of Astroturfing I Esiyok, L Hanzlik, R Künnemann, LM Budde, M Backes Applied Cryptography and Network Security: 18th International Conference …, 2020 | 1 | 2020 |
| Accountable Javascript Code Delivery I Esiyok, P Berrang, K Cohn-Gordon, R Kuennemann NDSS 2023, 2023 | | 2023 |
