Marie-Jeanne Toussaint

Publication Activity (10 Years)

Years Active: 1989-1993
Publications (10 Years): 0

Publications

Marie-Jeanne Toussaint
A New Method for Analyzing the Security of Cryptographic Protocols. IEEE J. Sel. Areas Commun. 11 (5) (1993)
Marie-Jeanne Toussaint
Separating the Specification and Implementation Phases in Cryptology. ESORICS (1992)
Marie-Jeanne Toussaint
Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract). CRYPTO (1991)
Marie-Jeanne Toussaint
Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract). ASIACRYPT (1991)
Marie-Jeanne Toussaint, Pierre Wolper
Reasoning about Cryptographic Protocols. Distributed Computing And Cryptography (1989)