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

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

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)

Three modest proposals for building trust: in social media discourse, the software that powers it and the browsers that run the software. - Ilkan Esiyok (2023)