International Association for Cryptologic Research
Sebastian Mödersheim 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 Sebastian Mödersheim |