Comparing Optimization Targets for Contrast-Consistent Search. - Hugo Fry; Seamus Fallows; Ian Fan; Jamie Wright; Nandi Schoots (CoRR, 2023)

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities. - Brijesh Dongol; Matt Griffin; Andrei Popescu 001; Jamie Wright (CSF, 2024)

Secret-Directed Unwinding. - Brijesh Dongol; Matthew Griffin; Andrei Popescu 001; Jamie Wright (Arch. Formal Proofs, 2024)

More Operations on Lazy Lists. - Andrei Popescu 001; Jamie Wright (Arch. Formal Proofs, 2024)

Relative Security. - Andrei Popescu 001; Jamie Wright (Arch. Formal Proofs, 2024)

A formalized programming language with speculative execution. - Jamie Wright; Andrei Popescu 001 (Arch. Formal Proofs, 2024)