Véronique Cortier
CNRS
researcher
(chargée 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
: A204
Research Interests:
- Verification of
cryptographic protocols
- Link with cryptographic
models
- Development of the Securify
tool,
designed for automatic verification of cryptographic protocols - Automatic
deduction, tree automata
postdoctoral
position
available
Publications
| Current
and past projects
| Program
Committees
| Invited
talks
Teaching
(in french)
| CV
| extended
CV
(in french)
| Awards
Public
defense of my habilitation
(to conduct research) on November 18th, 2009.
Some
Events:
- STACS 2011
- FC 2011
- FSTTCS 2010,
IARCS
Annual Conference on Foundations of
Software
Technology and Theoretical Computer Science, December 15-18, 2009,
Chenai, India
- CCS 2010,
17th
ACM Conference on Computer and Communication
Security, Chicago, Illinois, USA, October 4 - 8, 2010.
- ESORICS 2010,
15th
European Symposium on Research in Computer
Security, Athens, Greece, 20-22 September 2010.
- LICS
2010, 24th
Annual IEEE Symposium on Logic in Computer Science,
Edinburgh, Scotland, July 9-21th, 2010.
- FOSAD
2010, International School on
Foundations of Security Analysis and
Design, Bertinoro, Italy. September 6-11, 2010.
- MOVEP
2010, 9th School on MOdelling
and VErifying parallel Processes,
Aachen, Germany, from June 28 to July 2, 2010.
- VERIFY
2010, 6th International
Verification Workshop, Edinburgh, UK, July
20–21, 2010.
- PLAS
2010, 5th ACM SIGPLAN Workshop
on Programming Languages and
Analysis for Security, Toronto, Canada, June 10, 2010. Affiliated to PLDI 2010.
- SECCO 2010,
Security in
Concurrency, affiliated to Concur
2010.
- FCS-PrivMod
2010, Workshop
on Foundations of Security and Privacy, Edinburgh, UK, July
14-15th, 2010, affiliated to FLOC
2010.
- IFIP
TCS
2010, track B. 6th IFIP
International Conference on
Theoretical Computer Science, Brisbane, September
20-23, 2010. Part of the IFIP World Computer Congress.
Some past events:
- ESORICS'09,
14th European Symposium on Research in Computer Security, Saint Malo,
France, September 21-25, 2009.
- ASIAN'09,
13th
Annual Asian Computing Science Conference, Urumqi,
China, October 8-10, 2009.
- Workshop
on
Foundations of Computer Security (FCS 2009),
August 9-10th, 2009,
Los Angeles, California, USA. The workshop isi affiliated with
LICS
2009.
- 22nd
IEEE Computer Security Foundations Symposium (CSF 2009),
July 8-10,
2009, Port Jefferson, New York, USA.
- Workshop
on
Computer Science Security and Electronic Vote (VETO 2009),
June
28th, 2009, Grenoble, France. Affiliated with CAV 2009.
- Conférence sur la
sécurité des architectures
réseaux et des systèmes d'information
(SARSSI'09),
Luchon, France, June 23-26th, 2009.
- 15th
International
Conference on Tools and Algorithms for the Construction and Analysis of
Systems (TACAS 2009), York, UK,
March 22-29, 2009.
- Joint
Workshop on Automated Reasoning for Security Protocol Analysis and
Issues in the Theory of Security
(ARSPA-WITS'09), York, UK, March
2009. Affiliated with ETAPS
2009.
- Conference
on
Verification, Model Checking, and Abstract Interpretation (VMCAI'09),
January 18-20, 2009, Savannah, GA, USA (co-located with POPL 2009).
Last
modified on June 29th,
2010.