Quantifying Information Leakage of Randomized Protocols
From MaRDI portal
Publication:2926639
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
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