"Exact Detection of Information Leakage: Decidability and Complexity."

Rada Chirkova, Ting Yu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics