| 1993 |
|---|
| 4 | | Marie-Jeanne Toussaint:
A New Method for Analyzing the Security of Cryptographic Protocols.
IEEE Journal on Selected Areas in Communications 11(5): 702-714 (1993) |
| 1992 |
|---|
| 3 | EE | Marie-Jeanne Toussaint:
Separating the Specification and Implementation Phases in Cryptology.
ESORICS 1992: 77-102 |
| 1991 |
|---|
| 2 | | Marie-Jeanne Toussaint:
Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract).
ASIACRYPT 1991: 412-426 |
| 1 | EE | Marie-Jeanne Toussaint:
Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract).
CRYPTO 1991: 24-43 |
