International Association for Cryptologic Research
Marie-Jeanne Toussaint Search web for home page
Publications
| year | title | booktitle | pages | |
|---|---|---|---|---|
| 1 | 1991 | Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract) | crypto | 24-43 |
| 2 | 1991 | Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract) | asiacrypt | 412-426 |
Coauthors of Marie-Jeanne Toussaint |