Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Véronique
Cortier
Véronique Cortier CNRS
researcher
(directrice
de recherche) at LORIA
in Cassis
team .Phone :
+33 (0) 3 83 59 30 55Fax :
+33 (0) 3 83 27 83 19Mail :
lastname@loria.fr (lastname ->
cortier)Office
: A211Research 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
ProSecure
project
(positions available)Publications
| Current
and past projects
| Program
Committees
| Invited
talks Teaching
(in french) | CV
(in french)
| Awards | Habilitation
(to conduct research)Some
Events:
POST 2012 ,
First Conference on Principles of Security and Trust, one of the main
conferences at ETAPS 2012 ,
Tallinn, Estonia. (PC member)CSF 2012, 25th Computer Security Foundations Symposium, Chicago,
USA. (PC co-chair)
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 August 24th,
2011.