research
∙
09/18/2023
Security Properties through the Lens of Modal Logic
We introduce a framework for reasoning about the security of computer sy...
share
research
∙
03/20/2023
Challenges of Producing Software Bill Of Materials for Java
Software bills of materials (SBOM) promise to become the backbone of sof...
research
∙
07/22/2022
Silent Spring: Prototype Pollution Leads to Remote Code Execution in Node.js
Prototype pollution is a dangerous vulnerability affecting prototype-bas...
research
∙
09/03/2021
Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
This paper explores the use of relational symbolic execution to counter ...
research
∙
11/03/2019
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
The recent Spectre attacks has demonstrated the fundamental insecurity o...
research
∙
06/27/2019
