saag-0----Page:17
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
Invited Presentations
Automated Validation of Internet Security Protocols and Applications
Alessandro Armando
The One Time Password algorithm from OATH (the initiative for Open AuTHentication)
Siddharth Bajaj
MD5 and SHA-1 Status
Eric Rescorla
PPT Version