most citedProving the Absence of Microarchitectural Timing Channels

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.CRShow all

1 paper · 1 filter

cs.CR2023

Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)

Toby Murray, Mukesh Tiwari, Gidon Ernst +1

We consider the problem of specifying and proving the security of non-trivial, concurrent programs that intentionally leak information. We present a method that decomposes the prob…