Véronique Cortier

Véronique Cortier

CNRS researcher (directrice de recherche) at LORIA in Cassis team.

LORIA, Équipe Cassis, Bât. A
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex France
Phone : +33 (0) 3 83 59 30 55
Fax : +33 (0) 3 83 27 83 19
Mail : lastname@loria.fr (lastname -> cortier)
Office : A211

Research Interests:

Verification of cryptographic protocols
Link with cryptographic models
Development of the Securify tool,
Automatic deduction, tree automata

ProSecure project (positions available)

Publications | Current and past projects | Program Committees | Invited talks
Teaching (in french) | CV (in french) | Awards | Habilitation (to conduct research)

Member of the editorial board of the Journal of Computer Security
Member of the editorial board of the Information and Computation journal

Some Future Events:

CSF 2013, 26th Computer Security Foundations Symposium, New Orleans, USA. Colocated with LICS and MFPS. (co-chair)
LICS 2013, 38th Annual IEEE Symposium on Logic in Computer Science, New Orleans, USA. Colocated with CSF and MFPS.
POST 2013, Second Conference on Principles of Security and Trust, part of ETAPS 2013, Rome, Italy.
CCS 2012, 19th ACM Conference on Computer and Communication Security, Raleigh, NC, USA, October 16 - 18, 2012.

Some past events:

CSF 2012, 25th Computer Security Foundations Symposium, Chicago, USA. (PC co-chair)
ESORICS 2012, 17th European Symposium on Research in Computer Security, Pisa, Italy.
FCC 2012, 8th Workshop on Formal and Computational Cryptography, Boston, USA June 2012
MOVEP 2012, 10th School on MOdelling and VErifying parallel Processes, Marseilles, France, from December 3rd to 7th, 2012.
SCSS 2012, International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisie, December 15-17, 2012.
POST 2012, First Conference on Principles of Security and Trust, one of the main conferences at ETAPS 2012, Tallinn, Estonia. (PC member)
LPAR 2012, 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Mérida, Venezuela. (PC member)
Analysing programs: logic to the rescue, Symposium affiliated to CLMPS 2011, Nancy, France (organizer)
ESORICS 2011, European Symposium on Research in Computer Security. (PC member)
Course at Collège de France by Martin Abadi, March to May 2011, and a series of seminar. (Invited speaker)
FCC 2011, Workshop on Formal and Computational Cryptography. (PC member)
FCS 2011, Workshop on Foundations of Computer Security. (PC member)
MFPS 2011, Mathematical Foundations of Programming Semantics. (PC member)
RTA 2011, Rewriting Techniques and Applications. (PC member)
STACS 2011, Symposium on Theoretical Aspects of Computer Science. (Invited speaker)
FC 2011, Financial Cryptography. (PC member)
FSTTCS 2010, Foundations of Software Technology and Theoretical Computer Science. (PC member)
CCS 2010, ACM Conference on Computer and Communication Security. (PC member)
ESORICS 2010, 15th European Symposium on Research in Computer Security. (PC member)
LICS 2010, 24th Annual IEEE Symposium on Logic in Computer Science. (PC member)
FOSAD 2010, International School on Foundations of Security Analysis and Design. (Invited lecture)
MOVEP 2010, 9th School on MOdelling and VErifying parallel Processes. (Invited lecture)
VERIFY 2010, 6th International Verification Workshop. (Invited speaker)
PLAS 2010, 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, affiliated to PLDI 2010. (PC member)
SECCO 2010, Security in Concurrency, affiliated to Concur 2010. (PC co-chair)
FCS-PrivMod 2010, Workshop on Foundations of Security and Privacy, affiliated to FLOC 2010. (PC co-chair)
IFIP TCS 2010, track B. 6th IFIP International Conference on Theoretical Computer Science, part of the IFIP World Computer Congress. (PC member)
ESORICS'09, 14th European Symposium on Research in Computer Security. (PC member)
ASIAN'09, 13th Annual Asian Computing Science Conference. (PC member)
Workshop on Foundations of Computer Security (FCS 2009), affiliated with LICS 2009. (PC co-chair)
22nd IEEE Computer Security Foundations Symposium (CSF 2009). (PC member)
Workshop on Computer Science Security and Electronic Vote (VETO 2009), affiliated with CAV 2009. (PC member)
Conférence sur la sécurité des architectures réseaux et des systèmes d'information (SARSSI'09). (PC member)
15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009). (PC member)
Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS'09), ETAPS 2009. (PC member)
Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'09), co-located with POPL 2009. (Invited speaker)

Last modified on April 6th, 2012.