Computing the Leakage of Information-Hiding Systems
No abstract available.
Related papers
- Obtaining Information Leakage Bounds via Approximate Model Counting PLDI 2023
- Statistical Measurement of Information Leakage TACAS 2010
- A Tool for Estimating Information Leakage CAV 2013
- Quantifying Information Leakage of Randomized Protocols VMCAI 2013
- Interpretable noninterference measurement and its application to processor designs OOPSLA 2021
- Information Flow Control in Cyclic Process Networks ECOOP 2024
- Quantifying and Mitigating Cache Side Channel Leakage with Differential Set OOPSLA 2023
- Giving semantics to program-counter labels via secure effects POPL 2021