Jamie Wright

According to our database, Jamie Wright authored at least 7 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL.

John Derrick, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu, Jamie Wright

J. Autom. Reason., December, 2025

2024

A formalized programming language with speculative execution.

Jamie Wright, Andrei Popescu

Arch. Formal Proofs, 2024

Relative Security.

Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

More Operations on Lazy Lists.

Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

Secret-Directed Unwinding.

Brijesh Dongol, Matthew Griffin, Andrei Popescu, Jamie Wright

Arch. Formal Proofs, 2024

Relative Security: Formally Modeling and (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities.

Brijesh Dongol, Matt Griffin, Andrei Popescu, Jamie Wright

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Comparing Optimization Targets for Contrast-Consistent Search.

Hugo Fry, Seamus Fallows, Ian Fan, Jamie Wright, Nandi Schoots

CoRR, 2023