Quantifying Information Leakage of Randomized Protocols

DOI10.1007/978-3-642-35873-9_7zbMath1329.68188OpenAlexW1702880354MaRDI QIDQ2926639

Pasquale Malacaria, Andrzej Wąsowski, Fabrizio Biondi, Axel Legay

Publication date: 3 November 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01088193/file/main.pdf

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (2)

Maximizing entropy over Markov processes ⋮ Quantifying information leakage of randomized protocols

This page was built for publication: Quantifying Information Leakage of Randomized Protocols