Cyberhackathon - Frama-C + Binsec - 28/04/23

(This is an announcement for an event near Paris; first follows the French version, then an English version.)

Si vous êtes près de Paris, venez au Cyber-hackathon Frama-C + Binsec, le 28/04 de 9h à 17h, au CEA List, dans le campus Paris-Saclay (Nano-Innov, 2 bd Thomas Gobert, 91120 Palaiseau) !

Cette journée sera consacrée aux méthodes formelles, à l’analyse de code, à la cybersécurité et au reverse engineering, à l’aide des plateformes Frama-C et Binsec.

Lors de cette journée, vous pourrez :

• Amener votre propre code C pour le faire analyser par l’équipe Frama-C ;

• Participer aux tutoriels et challenges d’analyse de code avec Frama-C ;

• Participer aux challenges crackme et reverse engineering avec la plateforme Binsec ;

• Apprendre à utiliser Frama-C / Binsec, ou approfondir vos connaissances.

Si vous êtes fan d’OCaml (langage de développement majoritaire pour ces deux plateformes), participez au développement de ces plateformes open-source.

Les équipes Frama-C et Binsec recrutent ! Stagiaires, CDDs, postdocs, ingénieur·e·s-chercheu·r·se·s… n’hésitez pas à passer nous voir !

Pour vous inscrire (date limite: 24/04): cliquez ici

Nous vous attendons nombreux·ses !

English

If you are near Paris, come to the Cyber-hackathon Frama-C + Binsec, on 28/04 from 9h to 17h, at CEA List, in the Paris-Saclay campus (Nano-Innov, 2 bd Thomas Gobert, 91120 Palaiseau)!

This is an event dedicated to formal methods, code analysis, cybersecurity and reverse engineering, with the help of the Frama-C and Binsec frameworks.

During this day, you will be able to:

• Bring your own C code to have it analyzed by the Frama-C team;
• Participate in the tutorials and code analysis challenges with Frama-C;
• Participate in the crackme and reverse challenges with the Binsec tool;
• Learn how to use Frama-C/Binsec, or become proficient with them;
• Participate in the development of these open-source platforms, developed mainly in OCaml.

Please click here to register (until 24/04) (the form is in French, but feel free to contact us directly in English if you prefer).

By the way, the Frama-C and Binsec teams are hiring! Interns, PhDs, postdocs, temporary- and fixed-term researchers… drop by if you are interested!