Security by Logic for Multithreaded applications

Description of research

This project develops a uniform verification framework for the protection of data. Key innovation on which the proposal is based is the notion of self-composition. This gives a different view on classical security properties, recasting them into safety properties of a single program, and allows reuse of existing program verification techniques. We believe that this approach can handle a wide range of data-related security properties, such as confidentiality, integrity and anonymity, in a uniform way, allowing easier comparison. To make the framework usable for realistic applications, which interact with their environment, we concentrate on multithreaded applications, and properties that specify complete executions of an application.

Advisor(s)

Dr. Marieke Huisman (project leader)

Prof. dr. Jaco van de Pol

Duration

0/03/2010-01/03/2014

Project

SlaLoM

Funding institution

Project funded by the Netherlands Organisation for Scientific Research (NWO)

Strategic Research Orientation

Dependable Systems and Networks

Links to relevant web pages:

http://wwwhome.cs.utwente.nl/~ngominhtri/

http://fmt.cs.utwente.nl/projects/SlaLoM/

Pictures

	CTIT Home > Meet the PhDs > Minh Tri Ngo
Home CTIT symposium 2013 About CTIT News NIRICT Research Meet the PhDs Working at CTIT Internal Information Conferences Open Calls (updated May 3, 2013) Library and Videos Knowledge Transfer Links Sitemap Search	Security by Logic for Multithreaded applications Description of research This project develops a uniform verification framework for the protection of data. Key innovation on which the proposal is based is the notion of self-composition. This gives a different view on classical security properties, recasting them into safety properties of a single program, and allows reuse of existing program verification techniques. We believe that this approach can handle a wide range of data-related security properties, such as confidentiality, integrity and anonymity, in a uniform way, allowing easier comparison. To make the framework usable for realistic applications, which interact with their environment, we concentrate on multithreaded applications, and properties that specify complete executions of an application. Advisor(s) Dr. Marieke Huisman (project leader) Prof. dr. Jaco van de Pol Duration 0/03/2010-01/03/2014 Project SlaLoM Funding institution Project funded by the Netherlands Organisation for Scientific Research (NWO) Strategic Research Orientation Dependable Systems and Networks Links to relevant web pages: http://wwwhome.cs.utwente.nl/~ngominhtri/ http://fmt.cs.utwente.nl/projects/SlaLoM/ Pictures