Secret-Directed Unwinding

MaRDI QIDQ7361387FDO

Authors Brijesh Dongol, Matthew Griffin, Andrei Popescu, Jamie Wright

Publication date 24 May 2024

Cites work

• Bounded-Deducibility Security (Invited Paper)

Cited in

(1)

• A formalized programming language with speculative execution

This page was built for software: Secret-Directed Unwinding