Short bio
Charlie Jacomme (charlie.jacomme.fr) is a post-doctoral researcher at CISPA (Germany) in Cas Cremers group, after a PhD thesis at ENS Paris-Saclay (France) under Hubert Comon and Steve Kremer for which he got PhD thesis awards both from the French security community and the French computer science community. He works on formal methods applied to security, with publications at top conferences (S&P, CCS, USENIX, CSF) covering both practical security analysis and more theoretical contributions. He is notably one of the main developers and designers of the Squirrel Prover, an interactive prover for protocols that provides computational guarantees even in the post-quantum setting.
— presenter's bio has been redacted at the date of last given talk