2 citations · 2 across the 2 of their papers we have counts for
4 papers
Automated Security Analysis of Exposure Notification Systems
Kevin Morio, Ilkan Esiyok, Dennis Jackson +1
We present the first formal analysis and comparison of the security of the two most widely deployed exposure notification systems, ROBERT and the Google and Apple Exposure Notifica…
Accountable Javascript Code Delivery
Ilkan Esiyok, Pascal Berrang, Katriel Cohn-Gordon +1
The internet is a major distribution platform for web applications, but there are no effective transparency and audit mechanisms in place for the web. Due to the ephemeral nature o…
Trollthrottle -- Raising the Cost of Astroturfing
Ilkan Esiyok, Lucjan Hanzlik, Robert Kuennemann +2
Astroturfing, i.e., the fabrication of public discourse by private or state-controlled sponsors via the creation of fake online accounts, has become incredibly widespread in recent…
Automated Verification of Accountability in Security Protocols
Robert Künnemann, Ilkan Esiyok, Michael Backes
Accountability is a recent paradigm in security protocol design which aims to eliminate traditional trust assumptions on parties and hold them accountable for their misbehavior. It…