2013 | OriginalPaper | Buchkapitel
A Tool for Estimating Information Leakage
verfasst von : Tom Chothia, Yusuke Kawamoto, Chris Novakovic
Erschienen in: Computer Aided Verification
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
We present
leakiEst
, a tool that estimates how much information leaks from systems. To use
leakiEst
, an analyst must run a system with a range of secret values and record the outputs that may be exposed to an attacker. Our tool then estimates the amount of information leaked from the secret values to the observable outputs of the system. Importantly, our tool calculates the confidence intervals for these estimates, and tests whether they represent real evidence of an information leak in the system.
leakiEst
is freely available and has been used to verify the security of a range of real-world systems, including e-passports and Tor.