ENS Ulm · Paris, France
"Don't roll your own crypto": les méthodes formelles au service de la sécurité
Applications de Brainfuck, langage minimaliste mais Turing-complet
