Quantifying Information Leakage of Randomized Protocols

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

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

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

94A60: Cryptography

68Q60: Specification and verification (program logics, model checking, etc.)

68M12: Network protocols

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)