267 citations · 874 across the 27 of their papers we have counts for
28 papers
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Daniel W. Song, Konstantinos Mamouras, Ang Chen +2
Despite significant research and engineering efforts, many of today's important computer systems suffer from bugs. To increase the reliability of software systems, recent work has…
Investigating the effectiveness of web adblockers
Clayton Drazner, Nikola Đuza, Hugo Jonker +1
We investigate adblocking filters and the extent to which websites and advertisers react when their content is impacted by these filters. We collected data daily from the Alexa Top…
On the security of ballot marking devices
Dan S. Wallach
A recent debate among election experts has considered whether electronic ballot marking devices (BMDs) have adequate security against the risks of malware. A malicious BMD might pr…
An Historical Analysis of the SEAndroid Policy Evolution
Bumjin Im, Ang Chen, Dan Wallach
Android adopted SELinux's mandatory access control (MAC) mechanisms in 2013. Since then, billions of Android devices have benefited from mandatory access control security policies.…
Public Evidence from Secret Ballots
Matthew Bernhard, Josh Benaloh, J. Alex Halderman +6
Elections seem simple---aren't they just counting? But they have a unique, challenging combination of security and privacy requirements. The stakes are high; the context is adversa…
Verification of STAR-Vote and Evaluation of FDR and ProVerif
Murat Moran, Dan S. Wallach
We present the first automated privacy analysis of STAR-Vote, a real world voting system design with sophisticated "end-to-end" cryptography, using FDR and ProVerif. We also evalua…