Official LSV Web Site
Publications & Tools
Publications :
- H. Benzina. Towards Designing Secure Vitualized Systems. In DICTAP 2012, IEEE Computer Society Press, 2012. To appear.
- H. Benzina. A Network Policy Model for Virtualized Systems. In ISCC 2012, IEEE Computer Society Press, 2012. To appear.(pdf)
- 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)
Tools :