Andreas Haeberlen

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 …

Metaverse as a Service

2023

We present a vision for the future of an emerging category of cloud service: the metaverse of 3D virtual worlds. Today, hundreds of millions of users are active daily in such worlds, but they are …