research
∙
12/14/2020
The Design and Implementation of a Verified File System with End-to-End Data Integrity
Despite significant research and engineering efforts, many of today's im...
share
research
∙
12/12/2019
Investigating the effectiveness of web adblockers
We investigate adblocking filters and the extent to which websites and a...
research
∙
08/05/2019
On the security of ballot marking devices
A recent debate among election experts has considered whether electronic...
research
∙
11/14/2014
Glider: A GPU Library Driver for Improved System Security
Legacy device drivers implement both device resource management and isol...
research
∙
02/17/2012