Login / Signup

Sound and complete computational interpretation of symbolic hashes in the standard model.

Flavio D. GarciaPeter van Rossum
Published in: Theor. Comput. Sci. (2008)
Keyphrases