Information Leakage of Non-Terminating Processes

DOI10.4230/LIPIcs.FSTTCS.2014.517zbMath1360.68422OpenAlexW2275824135MaRDI QIDQ2978541

Fabrizio Biondi, Pasquale Malacaria, Axel Legay, Bo Friis Nielsen, Andrzej Wąsowski

Publication date: 25 April 2017

Full work available at URL: https://hal.inria.fr/hal-01086879

zbMATH Keywords

Markov chaininformation leakagequantitative information flowinfinite execution

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

This page was built for publication: Information Leakage of Non-Terminating Processes