Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.

Ralf Küsters Tomasz Truderung Andreas Vogt

Published in: IACR Cryptol. ePrint Arch. (2014)

Keyphrases

formal analysis
agent model
formal methods
consistency checking
ban logic
artificial intelligence
lightweight
decision forest