Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page
Demo Data from VLDB 2026 / reviewers in the wild / expert

Marie-Jeanne Toussaint

dblp:26/893 · DBLP profile ↗
← Back
4ranked-venue papers
4as first author
0since 2021 · last 1993
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 3 · 3 first-authorComputer networks · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
3 papers
Cryptographic protocols and secure computation · 87% Authentication and access control · 7% Cryptographic primitives and cryptanalysis · 6%

Topics — the 4 heaviest of 4, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation
security protocol analysis		 0.031993
A New Method for Analyzing the Security of Cryptographic Protocols · IEEE J. Sel. Areas Commun. 1993
Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract) · CRYPTO 1991
Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract) · ASIACRYPT 1991
Cryptographic protocols and secure computation › security protocol analysis
formal methods		 0.011993
A New Method for Analyzing the Security of Cryptographic Protocols · IEEE J. Sel. Areas Commun. 1993
Authentication and access control
kerberos authentication		 0.011993
A New Method for Analyzing the Security of Cryptographic Protocols · IEEE J. Sel. Areas Commun. 1993
Cryptographic primitives and cryptanalysis
provable security		 0.011991
Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract) · ASIACRYPT 1991

Methods — techniques the papers use, named apart from their topics

probabilistic analysis · 0.0probabilistic model checking · 0.0formal verification · 0.0
YearPublicationVenuePosition
1993 A New Method for Analyzing the Security of Cryptographic Protocols
abstract
A formal method for analyzing the security of cryptographic protocols is presented. This method is based on an original representation of the participants' knowledge. The author proves the probabilistic properties of the cryptographic protocols and models the possible attacks on these protocols. This method is applied to well-known protocols like the Kerberos authentication protocol and the X.509 standard.>
Marie-Jeanne Toussaint
 IEEE J. Sel. Areas Commun.1
1992 Separating the Specification and Implementation Phases in Cryptology
Marie-Jeanne Toussaint
 ESORICS1
1991 Formal Verification of Probabilistic Properties in Cryptographic Protocols (Extended Abstract)
Marie-Jeanne Toussaint
 ASIACRYPT1
1991 Deriving the Complete Knowledge of Participants in Cryptographic Protocols (Extended Abstract)
Marie-Jeanne Toussaint
 CRYPTO1