research
∙
09/15/2023
Graph IRs for Impure Higher-Order Languages (Technical Report)
This is a companion report for the OOPSLA 2023 paper of the same title, ...
share
research
∙
09/12/2023
Modeling Reachability Types with Logical Relations
Reachability types are a recent proposal to bring Rust-style reasoning a...
research
∙
07/25/2023
Polymorphic Reachability Types: Tracking Freshness, Aliasing, and Separation in Higher-Order Generic Programs
Reachability types are a recent proposal that has shown promise in scali...
research
∙
09/10/2022
Cache Refinement Type for Side-Channel Detection of Cryptographic Software
Cache side-channel attacks exhibit severe threats to software security a...
research
∙
07/01/2021
Verifying Verified Code
A recent case study from AWS by Chong et al. proposes an effective metho...
research
∙
09/03/2020
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
Cryptographic techniques have the potential to enable distrusting partie...
research
∙
05/30/2019