![]() |
![]() |
University of Birmingham > Talks@bham > Computer Security Seminars > A Formal Model and Practical Technique for Quantifying Information Leakage in Software
A Formal Model and Practical Technique for Quantifying Information Leakage in SoftwareAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Matthijs Melissen. Information leakage occurs when something about a system’s secret data can be deduced from observing its public outputs. In this talk, I will present a formal model of information leakage, based on discrete-time Markov chains, that models the information leaked about some secret data to an attacker with access to a program’s source code and public outputs. I will also present and demonstrate a practical implementation of this model that estimates (rather than precisely computes) information leakage in Java software, and will show that this implementation gives fast and accurate approximations of the true leakage that occurs in a program. This talk is part of the Computer Security Seminars series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsNuclear physics seminars Birmingham Popular Maths Lectures Particle Physics SeminarsOther talksSpectrally selective metasurfaces based on bound states in the continuum: a versatile platform for enhanced light-matter coupling Colloquium: TBA Geometry of alternating projections in metric spaces with bounded curvature Colloquium: TBA Seminar: TBA Seminar: TBA |