Marie-Jeanne Toussaint

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

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

1993

A New Method for Analyzing the Security of Cryptographic Protocols.

[DOI]

IEEE J. Sel. Areas Commun., 1993

1992

Separating the Specification and Implementation Phases in Cryptology.

[DOI]

Proceedings of the Computer Security, 1992

1991

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

[DOI]

Proceedings of the Advances in Cryptology, 1991

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

[DOI]

Proceedings of the Advances in Cryptology, 1991

1989

Reasoning about Cryptographic Protocols.

[DOI]

Proceedings of the Distributed Computing And Cryptography, 1989