Hedi BENZINA
PhD student, ENS Cachan
Teaching assistant, ENS Cachan
Research :
- I am a PhD student at LSV under the supervision of Jean Goubault-Larrecq.
I am interested in computer security and intrusion detection.
- Publications & tools
- Keywords : intrusion detection, virtualization, security policies, computer virology, rootkits.
- I am member of the SECSI axis.
- My PhD is sponsored by the Digiteo project "REDPILL : Malware detection on virtualized platforms" (in collaboration with
Bertin Technologies).
Teaching :
- Initiation à Unix (L3, Bio-info)
Previous work :
- I have worked at LSV as a CNRS project ingineer on the ORCHIDS intrusion detection system.
- I was involved in the PFC component of the System@tic PARIS-REGION cluster.
- I have contributed to the implementation of an inductive theorem proving system (inProve project) and
to its validation with problems of verfication of security protocols. This work was done under the supervision of Florent Jacquemard and Adel Bouhoula.
Miscellaneous :
Not science :
