research
∙
10/02/2022
Automated Security Analysis of Exposure Notification Systems
We present the first formal analysis and comparison of the security of t...
share
research
∙
02/20/2022
Accountable Javascript Code Delivery
The Internet is a major distribution platform for applications, but ther...
research
∙
04/19/2020
Trollthrottle – Raising the Cost of Astroturfing
Astroturfing, i.e., the fabrication of public discourse by private or st...
research
∙
05/28/2018