Oussama Oulkaid          Thesis      Publications      Teaching     


Now postdoctoral researcher at CEA, working on formal verification of timing and security properties of RISC-V cores.

Contact: firstname.lastname@cea.fr