9 citations · 15 across the 10 of their papers we have counts for
11 papers
ProLoc: Robust Location Proofs in Hindsight
Roberta De Viti, Pierfrancesco Ingo, Isaac Sheff +2
Many online services rely on self-reported locations of user devices like smartphones. To mitigate harm from falsified self-reported locations, the literature has proposed location…
CoVault: A Secure Analytics Platform
Roberta De Viti, Isaac Sheff, Noemi Glaeser +6
Analytics on personal data, such as individuals' mobility, financial, and health data can be of significant benefit to society. Such data is already collected by smartphones, apps…
Groundhog: Efficient Request Isolation in FaaS
Mohamed Alzayat, Jonathan Mace, Peter Druschel +1
Security is a core responsibility for Function-as-a-Service (FaaS) providers. The prevailing approach has each function execute in its own container to isolate concurrent execution…
Reconciling Security and Utility in Next-Generation Epidemic Risk Mitigation Systems
Pierfrancesco Ingo, Nichole Boufford, Ming Cheng Jiang +8
Epidemics like the recent COVID-19 require proactive contact tracing and epidemiological analysis to predict and subsequently contain infection transmissions. The proactive measure…
SeCloak: ARM Trustzone-based Mobile Peripheral Control
Matthew Lentz, Rijurekha Sen, Peter Druschel +1
Reliable on-off control of peripherals on smart devices is a key to security and privacy in many scenarios. Journalists want to reliably turn off radios to protect their sources du…
Pacer: Comprehensive Network Side-Channel Mitigation in the Cloud
Aastha Mehta, Mohamed Alzayat, Roberta de Viti +3
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…
Finding Safety in Numbers with Secure Allegation Escrows
Venkat Arun, Aniket Kate, Deepak Garg +2
For fear of retribution, the victim of a crime may be willing to report it only if other victims of the same perpetrator also step forward. Common examples include 1) identifying o…
Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead
Eslam Elnikety, Deepak Garg, Peter Druschel
Data retrieval systems such as online search engines and online social networks must comply with the privacy policies of personal and selectively shared data items, regulatory poli…
ERIM: Secure, Efficient In-process Isolation with Memory Protection Keys (MPK)
Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O. Duarte +3
Isolating sensitive state and data can increase the security and robustness of many applications. Examples include protecting cryptographic keys against exploits like OpenSSL's Hea…
Oblivion: Mitigating Privacy Leaks by Controlling the Discoverability of Online Information
Milivoj Simeonovski, Fabian Bendun, Muhammad Rizwan Asghar +3
Search engines are the prevalently used tools to collect information about individuals on the Internet. Search results typically comprise a variety of sources that contain personal…
Introducing Accountability to Anonymity Networks
Michael Backes, Jeremy Clark, Peter Druschel +2
Many anonymous communication (AC) networks rely on routing traffic through proxy nodes to obfuscate the originator of the traffic. Without an accountability mechanism, exit proxy n…