Главная
Study mode:
on
1
Information Leakage due to Interference
2
Quantitative Information Flow
3
Interference between two secrets (3)
4
Interference between two secret sets
5
Estimating
6
Define a new measure
7
Dummy Examples
8
Conclusion We proposed a new method for assessing interference
Description:
Explore a static analysis method for measuring interference in software, presented at the 2018 IEEE Symposium on Security & Privacy. Delve into the concept of noninterference as a security definition for secret values in procedures, and learn how to assess interference using model counting techniques. Discover a flexible interference assessment approach that quantifiably improves accuracy with increased computational effort. Examine case studies demonstrating the effectiveness of this method, including leakage scenarios in search engine auto-complete responses, secrets subjected to compression with attacker-controlled inputs, and TCP sequence numbers from shared counters. Gain insights into information leakage, quantitative information flow, and interference between secret sets. Understand the proposed new measure for assessing interference and its potential applications in improving software security.

Static Evaluation of Noninterference Using Approximate Model Counting

IEEE
Add to list