Page personnelle

Projets

Analyse statique d'un logiciel embarqué critique

Analyse de code C avec l’outil Frama-C.

Audit d'une architecture IoT

Audit d’une architecture IoT dans le secteur de l’énergie.

ESIEA Secure Edition 2016

Membre de l’équipe d’organisation de la conférence annuelle de l’ESIEA dédiée à la sécurité informatique

Conférences

Billets récents

Divers

Certifications

MOOCs

Étant intéressé par de nombreux sujets et domaines, j’essaye de suivre des formations complémentaires grâce aux nouvelles plate-formes d’éducation en ligne, telles que Coursera ou edX. J’ai pu suivre avec succès les MOOCs (Massive Online Open Courses) suivant :

  • MIT 6.858: Computer Systems Security
    • Pas de certificat émis
  • Cyber101x: Cyberwar, Surveillance and Security
  • NUTR101x: Introduction to Nutrition - Food For Health

Contact

Vous pouvez également me contacter par messagerie sécurisée à ce numéro, en utilisant Signal.