I am a researcher in the group Certifiable Trustworthy IT Systems at the Karlsruhe Institute of Technology. From September 2009 to July 2010, I was a scientist at Fraunhofer Institute for Experimental Software Engineering in Kaiserslautern. I got my Master Degree in Computer Science at the University of Verona with the thesis "Ambienti di rete virtuali per la sperimentazione di politiche di sicurezza", under the supervision of Prof. Roberto Segala and Luca Vigano.
|M.S. Enrico Lovat|
Phone: -4 5192
Fax: -4 5079
enrico lovat∂kit edu
My research interests lie in the areas of usage control and information flow analysis. I am presently working on quantitative aspects of information flow, dynamic data flow tracking at and across different levels of abstraction and runtime event monitoring.
OpenData Usage Control for an Office Application
OngoingData Usage Control for a mail client (Master thesis / HiWi): Michael Loerscher, Jonas Peschla
CompletedHypervisor-assisted Usage Control (Master Thesis): Cornelius Moucha
Virtual Environments (Master Seminar): Cornelius Moucha
List of publications
Enrico Lovat and Alexander Pretschner. Data-centric Multi-Layer Usage Control Enforcement: A Social Network Example. In Proceedings of the 16th ACM symposium on Access control models and technologies, SACMAT '11, 2011.
Cornelius Moucha, Enrico Lovat and Alexander Pretschner. A Hypervisor-Based Bus System for Usage Control. In Proceedings of the 6th International Conference on Availability, Reliability and Security, ARES '11, 2011.