Marie-Jeanne Toussaint

According to our database, Marie-Jeanne Toussaint authored at least 5 papers between 1989 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1993

A New Method for Analyzing the Security of Cryptographic Protocols.

Marie-Jeanne Toussaint

IEEE J. Sel. Areas Commun., 1993

1992

Separating the Specification and Implementation Phases in Cryptology.

Marie-Jeanne Toussaint

Proceedings of the Computer Security, 1992

1991

Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract).

Marie-Jeanne Toussaint

Proceedings of the Advances in Cryptology, 1991

Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract).

Marie-Jeanne Toussaint

Proceedings of the Advances in Cryptology, 1991

1989

Reasoning about Cryptographic Protocols.

Marie-Jeanne Toussaint, Pierre Wolper

Proceedings of the Distributed Computing And Cryptography, 1989