research
∙
07/01/2020
Is Rust Used Safely by Software Developers?
Rust, an emerging programming language with explosive growth, provides a...
share
research
∙
06/17/2020
A Language for Autonomous Vehicles Testing Oracles
Testing autonomous vehicles (AVs) requires complex oracles to determine ...
research
∙
02/03/2018
Software Fault Isolation for Robust Compilation
Memory corruption vulnerabilities are endemic to unsafe languages, such ...
research
∙
02/02/2018
When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise
We propose a new formal criterion for secure compilation, giving strong ...
research
∙
10/19/2017