Number of items: 4.
Morio, Kevin and Esiyok, Ilkan and Jackson, Dennis and Künnemann, Robert
(2023)
Automated Security Analysis of Exposure Notification Systems.
(In Press)
Esiyok, Ilkan and Berrang, Pascal and Cohn-Gordon, Katriel and Künnemann, Robert
(2023)
Accountable Javascript Code Delivery.
Esiyok, Ilkan and Hanzlik, Lucjan and Künnemann, Robert and Budde, Lena Marie and Backes, Michael
(2020)
TrollThrottle — Raising the Cost of Astroturfing.
Künnemann, Robert and Esiyok, Ilkan and Backes, Michael
(2019)
Automated Verification of Accountability in Security Protocols.
(In Press)
This list was generated on Wed Apr 2 15:13:57 2025 CEST.