Formal-Proof
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