research
∙
08/29/2022
From Fine- to Coarse-Grained Dynamic Information Flow Control and Back, a Tutorial on Dynamic Information Flow
This tutorial provides a complete and homogeneous account of the latest ...
share
research
∙
08/07/2022
CoVault: A Secure Analytics Platform
In a secure analytics platform, data sources consent to the exclusive us...
research
∙
05/23/2022
Groundhog: Efficient Request Isolation in FaaS
Security is a core responsibility for Function-as-a-Service (FaaS) provi...
research
∙
11/05/2021
Pirouette: Higher-Order Typed Functional Choreographies
We present Pirouette, a language for typed higher-order functional chore...
research
∙
10/04/2021
SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation
Proving secure compilation of partial programs typically requires back-t...
research
∙
07/02/2021
Higher-order probabilistic adversarial computations: Categorical semantics and program logics
Adversarial computations are a widely studied class of computations wher...
research
∙
04/30/2021
Isolation Without Taxation: Near Zero Cost Transitions for SFI
Almost all SFI systems use heavyweight transitions that incur significan...
research
∙
04/16/2021
ScreenSeg: On-Device Screenshot Layout Analysis
We propose a novel end-to-end solution that performs a Hierarchical Layo...
research
∙
11/16/2020
PanCast: Listening to Bluetooth Beacons for Epidemic Risk Mitigation
During the ongoing COVID-19 pandemic, there have been burgeoning efforts...
research
∙
05/12/2020
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle
Capability machines such as CHERI provide memory capabilities that can b...
research
∙
10/31/2019
Causality Control Flow
Causality has been the issue of philosophic debate since Hippocrates. It...
research
∙
08/30/2019
Pacer: Network Side-Channel Mitigation in the Cloud
An important concern for many Cloud customers is data confidentiality. O...
research
∙
07/11/2019
Trace-Relating Compiler Correctness and Secure Compilation
Compiler correctness is, in its simplest form, defined as the inclusion ...
research
∙
12/12/2018
Bidirectional Type Checking for Relational Properties
Relational type systems have been designed for several applications incl...
research
∙
12/10/2018
Relational Cost Analysis for Functional-Imperative Programs
Relational cost analysis aims at formally establishing bounds on the dif...
research
∙
10/23/2018
SATE: Robust and Private Allegation Escrows
For fear of retribution, the victim of a crime may be willing to report ...
research
∙
07/16/2018
Formal verification of higher-order probabilistic programs
Probabilistic programming provides a convenient lingua franca for writin...
research
∙
07/12/2018
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing secu...
research
∙
07/12/2018
Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing more...
research
∙
04/30/2018
Types for Information Flow Control: Labeling Granularity and Semantic Models
Language-based information flow control (IFC) tracks dependencies within...
research
∙
04/02/2018
Robustly Safe Compilation or, Efficient, Provably Secure Compilation
Secure compilers generate compiled code that withstands many target- lev...
research
∙
02/27/2018
Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
We extend the simply-typed guarded λ-calculus with discrete probabilitie...
research
∙
01/21/2018
ERIM: Secure and Efficient In-process Isolation with Memory Protection Keys
Many applications can benefit from isolating sensitive data in a secure ...
research
∙
01/14/2018
Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead
Data retrieval systems such as online search engines and online social n...
research
∙
11/30/2017
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code
We present an instrumenting compiler for enforcing data confidentiality ...
research
∙
10/19/2017