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

7 September 2023

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

2 / 2 papers shown

Title
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware Florian Tramèr Dan Boneh FedML 114 395 0 08 Jun 2018
Epistemic Temporal Logic for Information Flow Security Musard Balliu M. Dam Gurvan Le Guernic 40 62 0 30 Aug 2012