Hedi BENZINA

PhD, ENS Cachan

Teaching assistant, ENS Cachan

I defended my PhD Thesis on December 17th, 2012.

I am a PhD student at LSV under the supervision of Jean Goubault-Larrecq. I am interested in computer security and intrusion detection.
Keywords : intrusion detection, virtualization, security policies, computer virology, rootkits.
I am member of the SECSI axis.
My PhD is funded by the Digiteo project "REDPILL : Malware detection in virtualized platforms" (in collaboration with Bertin Technologies).

H. Benzina. Towards Designing Secure Vitualized Systems. In DICTAP 2012, IEEE Computer Society Press, 2012. (link)
H. Benzina. A Network Policy Model for Virtualized Systems. In ISCC 2012, IEEE Computer Society Press, 2012. (link)
H. Benzina. Logic in Virtualized Systems. In ICCANS 2011, IEEE Computer Society Press, 2011. (pdf)
H. Benzina. Securing Hypervisors through Temporal Logic and Security Policies. Workshop on Formal methods for specifying and verifying critical systems 2011.
H. Benzina and J. Goubault-Larrecq. Some Ideas on Virtualized Systems Security, and Monitors. In SETOP 2010, Springer LNCS 6514.(link, pdf)

Moniteur at ENS-Cachan for 3 years :

+ 2011-2012 :

+ 2009-2010 and 2010-2011 :

I have worked at LSV as a CNRS engineer 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.