research
∙
01/31/2022
A Formal Model of Checked C
We present a formal model of Checked C, a dialect of C that aims to enfo...
share
research
∙
05/02/2021
Security Properties for Stack Safety
What exactly does "stack safety" mean? The phrase is associated with a v...
research
∙
05/24/2016
