The LSV seminar takes place on Tuesday at 11:00 AM. The usual location is the conference room at Pavillon des Jardins (venue). If you wish to be informed by e-mail about upcoming seminars, please contact Stéphane Le Roux and Matthias Fuegger.
The seminar is open to public and does not require any form of registration.
Information leakage quantifies the amount of bits of information about a system's secret that is obtained by an attacker able to observe the secret's output. It is common to model a terminating system as a channel matrix and to compute leakage as the mutual information between the input and output of the channel. Hovewer, Markovian models can model systems in a more concrete way, considering the system's control flow and in many cases producing a smaller model, and can also model non-terminating systems. We will show how Markovian models can be used to model a system's specification and to synthesize the implementation with the highest leakage if it exists. We will discuss leakage and leakage rate of non-terminating systems, and we will show how the Markovian analysis can be used to implement a fast leakage computation algorithm based on trace analysis, currently implemented in the state-of-the-art QUAIL tool.