Some cool things

Here a formalisation of the SRP-3 protocol using ProVerif. This was done with my fellows from SIRAV.

Here a one dimensional cellular automaton which is sensitive to initial condition if and only if twin prime conjecture holds.