On the Equality of Probabilistic Terms

DOI10.1007/978-3-642-17511-4_4zbMath1311.94068OpenAlexW1714637014MaRDI QIDQ3066090

Gilles Barthe, Vincent Laporte, Bruce M. Kapron, M. Daubignard, Yassine Lakhneche

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_4

Mathematics Subject Classification ID

Cryptography (94A60) Applications of universal algebra in computer science (08A70)

Related Items

Automated proofs of block cipher modes of operation