
Publication Overview
Verified Security of Merkle-Damgård
Published in: | Proc. 25th IEEE Computer Security Foundations Symposium (CSF 2012) |
---|---|
Year: | 2012 |
Pages: | 354-368 |
Published in: | Proc. 25th IEEE Computer Security Foundations Symposium (CSF 2012) |
---|---|
Year: | 2012 |
Pages: | 354-368 |