Events
H2Lab est sponsor officiel LeHack 2026
H2Lab est présent à LeHack 2026 et animera, avec Twisted Wires, un workshop technique sur le contournement des protections JTAG.
H2Lab
H2Lab
1 min read
H2Lab présente ces travaux sur Camelot-OS à la plénière SecurEval
H2Lab présente ses travaux sur la protection anti-fautes du noyau Sentry, au sein de Camelot-OS, lors de la plénière du projet PEPR SecurEval.
Tags:
Events, PePR SecurEval, Camelot-OS, Sentry-Kernel, Security, Formal-Proof, CEA-LSL, Frama-C, BinSec, Defensive-Programming
H2Lab
H2Lab
2 min read