5 citations · 19 across the 16 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.CR2022★ 2 cited
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…
cs.CR2022
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…