Michael Backes;Stefan Lorenz;Matteo Maffei;Kim Pecina
Saarland University, Saarbrü/cken, Germany;Saarland University, Saarbrü/cken, Germany;Saarland University, Saarbrü/cken, Germany;Saarland University, Saarbr&/3252/cken, Germany
Proofs that yield nothing but their validity or all languages in NP have zero-knowledge proof systems
Journal of the ACM (JACM)
An Efficient Cryptographic Protocol Verifier Based on Prolog Rules
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations