23 citations · 40 across the 7 of their papers we have counts for
7 papers · 1 filter
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…
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…
Types for Information Flow Control: Labeling Granularity and Semantic Models
Vineet Rajani, Deepak Garg
Language-based information flow control (IFC) tracks dependencies within a program using sensitivity labels and prohibits public outputs from depending on secret inputs. In particu…
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…
Robust Hyperproperty Preservation for Secure Compilation (Extended Abstract)
Deepak Garg, Catalin Hritcu, Marco Patrignani +2
We map the space of soundness criteria for secure compilation based on the preservation of hyperproperties in arbitrary adversarial contexts, which we call robust hyperproperty pre…
Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis
Abhishek Bichhawat, Vineet Rajani, Deepak Garg +1
Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed tr…