Modeling and Verification of Privacy Enhancing Protocols.

Suriadi Suriadi, Chun Ouyang, Jason Smith, Ernest Foo

Browse the full ICFEM paper archive.