Skip to content

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.

Ralf Ksters, Tomasz Truderung, Andreas Vogt

VenueA*SP
Year2014
ProceedingsIEEE Symposium on Security and Privacy

Browse the full SP paper archive.