Research Interest

I am currently a PhD student working in DCS team of Verimag lab. I am studying formal methods for security of information system.

Computer security implies using cryptographic schemes protocols: they enable someone to authenticate to someone else, ensure integrity of a message or allowing several persons to communicate such that no one else will be able to understand them. They are usually used in critical applications: e-Banking, e-Vote, of course military application, and so on. Then we need to trust them. And thus to formally verify them.

My thesis aims toward this goal: being able to formally verify cryptographic schemes and protocols. I work with Yassine Lakhnech, Gilles Barthes, Bruce Kapron, Marion Daubignard, Cristian Ené and Pierre Corbineau to improve a formal logic: CIL (c.f. ref. [1], published in CCS '10), which is designed to prove security properties of cryptographic schemes and protocols.

Publications

A Computational Indistinguishability Logic for the Bounded Storage ModelGilles Barthes, Mathilde Duclos, Yassine Lakhnech Foundations & Practice of Security2011, PDF, slides
Certified Security Proofs of Cryptographic Protocols in the Computational Model: An Application to Intrusion ResiliencePierre Corbineau, Mathilde Duclos, Yassine LakhnechCertified Programs and Proofs2011, PDF, slides
Bibtex entries can be found here.

Teaching

I do all my teaching activity in UJF.

2011/2012

During the first semester, I taught security models (practicals and exercices sessions) for master SAFE (in charge: Pascal Lafourcade).

During the second semester, I teach in english the international group of inf242, introduction to logic (in charge: Pascal Lafourcade and Stéphane Devismes). You will find here the material that I gathered for this course (in english).

I also teach practicals of inf121, introduction to caml (in charge: Pascal Lafourcade, I share my group with: Yliès Falcone). You will find here the material that I gathered for this course (in french).

2010/2011

During the first semester, I taught inf112, an introduction to algorithmic, programming and HTML (in charge: Lydie Du Bousquet). I was partly in charge for the group 5. You will find here the material that I gathered for this course (in french).

During the second semester, I taught inf242, introduction to logic (in charge: Pascal Lafourcade and Stéphane Devismes).

Personal Information

Education

Since September 2010
PhD Student at Verimag lab (Grenoble, France)
2009/2010
Master in SCCI (major cryptography), UJF (Grenoble, France)
2008/2009
4th year in Computer Science at Trinity College, Dublin (Ireland) - Erasmus exchange
2005/2008
Bachelor in Mathematics and Computer Science, UJF (Grenoble, France)

Previous work

Master Thesis
Formal verification with CIL of an intrusion resilient protocol, paper published in FPS'11
Summer 2009
Adaptation of an efficient counter-measure to anonymous channels
Summer 2007
Survey of E-Voting Schemes

Here is my curriculum vitae, more detailed.

Contact

Address
Mathilde Duclos,
Centre équation 4, office B13,
Laboratoire Verimag,
2 av de Vignate,
38610 Gières,
France
Phone number
+33 (0)4 56 52 04 17
E-mail
mathilde(dot)duclos(at)imag(dot)fr

Time Table

Reference

Computational Indistinguishable Logic Gilles Barthes, Marion Daubignard, Bruce Kapron, Yassine Lakhnech17th ACM conference on Computer and Communication Security2010