Login / Signup

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking.

Ralf KüstersTomasz TruderungAndreas Vogt
Published in: IEEE Symposium on Security and Privacy (2014)
Keyphrases
  • formal analysis
  • formal methods
  • agent model
  • ban logic
  • neural network