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

Flavio D. Garcia, Peter van Rossum. Sound and complete computational interpretation of symbolic hashes in the standard model. Theoretical Computer Science, 394(1-2):112-133, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.