Benjamin C. Pierce

Architectural Support for Software-Defined Metadata Processing

2015

Optimized hardware for propagating and checking software-programmable metadata tags can achieve low runtime overhead. We generalize prior work on hardware tagging by considering a generic architecture that supports software-defined policies over metadata of arbitrary size …

Fuzzi: A Three-Level Logic for Differential Privacy

2019 · arXiv (Cornell University)

Curators of sensitive datasets sometimes need to know whether queries against the data are differentially private [Dwork et al. 2006]. Two sorts of logics have been proposed for checking this property: (1) type systems and …