Reasoning about Cryptographic Protocols. - Marie-Jeanne Toussaint; Pierre Wolper (Distributed Computing And Cryptography, 1989)

Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract). - Marie-Jeanne Toussaint (ASIACRYPT, 1991)

Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract). - Marie-Jeanne Toussaint (CRYPTO, 1991)

Separating the Specification and Implementation Phases in Cryptology. - Marie-Jeanne Toussaint (ESORICS, 1992)

A New Method for Analyzing the Security of Cryptographic Protocols. - Marie-Jeanne Toussaint (IEEE J. Sel. Areas Commun., 1993)