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 | 26 | 2019 |
Automated security analysis of exposure notification systems K Morio, I Esiyok, D Jackson, R Künnemann 32st USENIX Security Symposium (USENIX Security 23), 1-18, 2023 | 1 | 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 |