International Association for Cryptologic Research
Luca Viganò Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 2006 | Symbolic and Cryptographic Analysis of the Secure WS-ReliableMessaging Scenario | eprint | online |
Coauthors of Luca Viganò |