Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
INRIA Lorraine - LORIA / LIFC
LORIA-CNRS, France
Deciding security properties for cryptographic protocols. Application to key cycles
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
Proceedings 8th International Workshop on Security Issues in Concurrency
Relating two standard notions of secrecy
YAPA: A generic tool for computing intruder knowledge
No associations
LandOfFree
Véronique Cortier does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Véronique Cortier, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Véronique Cortier will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-170393