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

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

7 September 2023

David A. Naumann

ArXiv (abs)PDF HTML

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

Title
No papers