research
∙
04/29/2021
Session Logical Relations for Noninterference
Information flow control type systems statically restrict the propagatio...
share
research
∙
04/09/2021
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Intermittently powered energy-harvesting devices enable new applications...
research
∙
03/08/2021
Containing Malicious Package Updates in npm with a Lightweight Permission System
The large amount of third-party packages available in fast-moving softwa...
research
∙
12/11/2020
On the Generation of Disassembly Ground Truth and the Evaluation of Disassemblers
When a software transformation or software security task needs to analyz...
research
∙
07/29/2020
Towards a Formal Foundation of Intermittent Computing
Intermittently powered devices enable new applications in harsh or inacc...
research
∙
03/28/2020
First-order Gradual Information Flow Types with Gradual Guarantees
Gradual type systems seamlessly integrate statically-typed programs with...
research
∙
07/03/2019