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.

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.

Open

Data Usage Control for an Office Application

Ongoing

Data Usage Control for a mail client (Master thesis / HiWi): Michael Loerscher, Jonas Peschla

Completed

Hypervisor-assisted Usage Control (Master Thesis): Cornelius Moucha
Virtual Environments (Master Seminar): Cornelius Moucha

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.