Filter your results
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 3
- 2
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 3
- 2
- 1
- 1
- 2
|
|
sorted by
|
|
Verified Security of Merkle-Damgaard25th IEEE Computer Security Foundations Symposium, CSF 2012, Jun 2012, Cambridge, MA, United States. pp.354-368, ⟨10.1109/CSF.2012.14⟩
Conference papers
hal-00765883v1
|
||
EasyCrypt: A TutorialFOSAD 2013, 2013, Bertinoro, Italy. ⟨10.1007/978-3-319-10082-1_6⟩
Conference papers
hal-01114366v1
|
|||
|
Computer-Aided Cryptographic ProofsITP 2012 - Third International Conference on Interactive Theorem Proving, Aug 2012, Princeton N.J., United States. ⟨10.1007/978-3-642-32347-8_2⟩
Conference papers
hal-00765842v1
|