Security & Privacy


Accountable JavaScript Code Delivery

We propose Accountable JS, a browser extension and opt-in protocol for accountable delivery of active content on a web page. We prototype our protocol, formally model its...


Necessity Specifications for Robustness

Robust modules guarantee to do only what they are supposed to do – even in the presence of untrusted, malicious clients, and considering not just the direct behavior of...