most citedProving the Absence of Microarchitectural Timing Channels

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

collaborators

2 papers

cs.OS2023★ 1 cited

Proving the Absence of Microarchitectural Timing Channels

Scott Buckley, Robert Sison, Nils Wistoff +4

Microarchitectural timing channels are a major threat to computer security. A set of OS mechanisms called time protection was recently proposed as a principled way of preventing in…

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…