Nickolas Papanikolaou

Static Analysis of Information Release in Interactive Programs

2024

In this paper we present a model for analysing information release (or leakage) in programs written in a simple imperative language. We present the se- mantics of the language, an attacker model, and the notion …