Selected Publications

CoVault: Secure High-Stakes Analytics

Under Submission – In a secure analytics platform, data sources consent to exclusive use of their data for a pre-defined set of analytics queries performed by a specific group of analysts, and for a limited period. …
Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Jonathan Katz, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
PDF Poster

ProLoc: Robust Location Proofs in Hindsight

Under Submission – The integrity of many location-based services depends on the veracity of locations reported by users. Unfortunately, mobile platform software, apps and users can easily forge their locations, and nearby …
Roberta De Viti, Pierfrancesco Ingo, Isaac Sheff, Peter Druschel, Deepak Garg
PDF

Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud

USENIX Security 2022 – Network side channels (NSCs) leak secrets through packet timing and packet sizes. They are of particular concern in public IaaS Clouds, where any tenant may be able to colocate and indirectly observe a …
Aastha Mehta, Mohamed Alzayat, Roberta De Viti, Björn B Brandenburg, Peter Druschel, Deepak Garg
PDF Code Poster

Listening to Bluetooth Beacons for Epidemic Risk Mitigation

Scientific Reports 12 (1) 1-14 (authors listed in alphabetical order) – During the ongoing COVID-19 pandemic, there have been burgeoning efforts to develop and deploy smartphone apps to expedite contact tracing and risk …
Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Heiner Kremer, Matthew Lentz, Lars Lorch, Aastha Mehta, Bernhard Schölkopf
PDF Code

PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation

White Paper (authors listed in alphabetical order) – During the ongoing COVID-19 pandemic, there have been burgeoning efforts to develop and deploy smartphone apps to expedite contact tracing and risk notification. Most of …
Gilles Barthe, Roberta De Viti, Peter Druschel, Deepak Garg, Manuel Gomez-Rodriguez, Pierfrancesco Ingo, Matthew Lentz, Aastha Mehta, Bernhard Schölkopf
PDF Code

enClosure: Group Communication via Encounter Closures

MobiSys 2019 – New applications enabled by personal smart devices and the Internet-of-Things (IoT) require communication in the context of periods of spatial co-location. Examples of this encounter-based communication (EbC) …
Lillian Tsai, Roberta De Viti, Matthew Lentz, Stefan Saroiu, Bobby Bhattacharjee, Peter Druschel
PDF Code Poster