2 citations · 2 across the 1 of their papers we have counts for
3 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…
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…