research
∙
07/17/2023
Secure Composition of Robust and Optimising Compilers
To ensure that secure applications do not leak their secrets, they are r...
share
research
∙
09/02/2022
Automatic Detection of Speculative Execution Combinations
Modern processors employ different prediction mechanisms to speculate ov...
research
∙
08/29/2022
MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code
Most programs compiled to WebAssembly (Wasm) today are written in unsafe...
research
∙
11/26/2021
Modular Information Flow through Ownership
Statically analyzing information flow, or how data influences other data...
research
∙
10/11/2021
Robust Safety for Move
A program that maintains key safety properties even when interacting wit...
research
∙
12/28/2020
Contract-Aware Secure Compilation
Microarchitectural attacks exploit the abstraction gap between the Instr...
research
∙
10/21/2020
On the Semantic Expressiveness of Recursive Types
Recursive types extend the simply-typed lambda calculus (STLC) with the ...
research
∙
05/12/2020
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle
Capability machines such as CHERI provide memory capabilities that can b...
research
∙
01/28/2020
Why Should Anyone use Colours? or, Syntax Highlighting Beyond Code Snippets
Syntax highlighting in the form of colours and font diversification, is ...
research
∙
10/21/2019
Memory Safety Preservation for WebAssembly
WebAssembly (Wasm) is a next-generation portable compilation target for ...
research
∙
10/18/2019
Universal Composability is Secure Compilation
Universal composability is a framework for the specification and analysi...
research
∙
10/18/2019
Exorcising Spectres with Secure Compilers
Speculative execution has been demonstrated to leak information about ex...
research
∙
07/11/2019
Trace-Relating Compiler Correctness and Secure Compilation
Compiler correctness is, in its simplest form, defined as the inclusion ...
research
∙
07/12/2018
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing secu...
research
∙
07/12/2018
Exploring Robust Property Preservation for Secure Compilation
Good programming languages provide helpful abstractions for writing more...
research
∙
04/02/2018
Robustly Safe Compilation or, Efficient, Provably Secure Compilation
Secure compilers generate compiled code that withstands many target- lev...
research
∙
10/19/2017