Source-Level Reasoning for Quantifying Information Leaks
- 13 November 2024
- book chapter
- Published by Springer Nature
- p. 98-127
Abstract
No abstract availableKeywords
All Related Versions
This publication has 40 references indexed in Scilit:
- Probabilistic Program Verification via Inductive Synthesis of Inductive Invariants2023
- The Science of Quantitative Information Flow2020
- Prinsys—On a Quest for Probabilistic Loop Invariants2013
- Formal Aspects of Security and Trust2011
- Compositional Closure for Bayes Risk in Probabilistic Noninterference2010
- On the Foundations of Quantitative Information Flow2009
- Principles of Secure Information Flow Analysis2007
- The Shadow Knows: Refinement of Ignorance in Sequential Programs2006
- Logic and Model Checking for Hidden Markov Models2005
- A Mathematical Theory of CommunicationBell System Technical Journal, 1948