@misc{indiciae7f76dbf2d66d,
  title = {Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version)},
  author = {Toby Murray and Mukesh Tiwari and Gidon Ernst and David A. Naumann},
  year = {2023},
  url = {https://arxiv.org/abs/2309.03442},
  note = {Source identifier: 2309.03442}
}