Charlie JACOMME

Phd Student

• Selected Publications

Defence !

I will be defending my Thesis the 16th of October, 2020. It will be held at 2pm, in room 1Z28 of ENS Paris-Saclay and online (ask a link by mail).

Manuscript

My manuscript can be found here.

How to find the room

The room is 1Z28, follow the plan here.
Step 1, go through the small lobby, by entering and exiting by revolving doors. Step 2, reenter the building after crossing the gardens, and take some hydroalcoolic gel ! Step 3, go up by stairs that should be just in front of the door, two times, until you are inside a big hall. Step 4, cross the hall, and find a door to get to a corridor. Step 5, go through the corridor, until finding room 1Z28 (for the experts, the room are labelled by coordinates XBY, where X is the floor number, B one alphabetical axe of the grid, and Y the numerical one).

How to find the ENS

You will need a ticket for a bus ride, and a ticket for the RER B.
You can use the RER B, and stop either at Massy Palaiseau, or at Le Guichet. From Massy, take Bus 91.06C (Christ de Saclay) or Bus 91.06B (Saint-Quentin-en-Yvelines) or Bus 91.10 (Saclay). From Le Guichet, take bus 9 (Christ de Saclay). In both cases, go down at stop Le moulon.
I will detail the bus 9, which is the only one I have used. The big picture is as follows. My small tip is that you can actually take the bus at two spot, cf the plan here, option 1 is the one which is classically taken and the closest (you have to go down and through the rails to the other side when you arrive), option 2 is slightly farther by walk, but at peak time, there is A LOT of people waiting at option 1, and few waiting at option 2, so it can be nice to get in the bus one stop before.

Teachings 2019/2020

TATA

I am teacher assistant for the TATA course. Informations are available on the MPRI wiki.

The exercices are here : td1 td2 td3 td4 td5

And solutions and hint are here : td1 td2 td3 td4 td5

Software Engineering

See David Baelde's webpage.
A small introduction to git

Teachings 2018/2019

TATA

I am teacher assistant for the TATA course. Informations are available on the MPRI wiki.

The exercices are here : td1 td2 td3 td4 td5 td6

Advanced Complexity

I am teacher assistant for the advanced complexity course. Informations are available on the MPRI wiki.

The exercices are here : td1 td2 td3 td4 td5

And the solutions are here : td1 td2 td3 td4 td5

TP - programmation 1

All the ressources are here.

Agreg

Some ressources are here.

Some presentations

• You shall not password !
  

  An extensive analysis of multi-factor authentication protocols

  At CSF'18 and TECAP ANR Kick-off meeting

• Grobner Basis and deducibility
  

  At EJCIM 2018 spring school

• Symbolic methods applied to the automation of computational proofs - Building simulators
  

  At FOSAD 18 summer school and Annual PhD students day of the formal methods department of LORIA

• Symbolic methods in computational cryptography proofs
  

  At CSF'19, Journée GT MFS 2019 and Pesto working group

• Decisions problems about propabilistic programs over finite fields, decidability and complexity.
  

  Annual PhD students day of the formal methods department of LORIA

• A formal composition framework; in the Banah-Comon model.
  

  At Cispa and TU Wien.

Others

My gpg public key

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact