Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

PhD student position on "Security by Logic for Multithreaded applications", Enschede (The Netherlands)

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. This project will demonstrate how 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. Model checking will be the targeted program verification technique.

We seek an enthusiastic PhD student with an MSc degree in Computer Science (or an equivalent qualification). The candidate should have a thorough theoretical background, and a demonstrable interest in program verification and security.

Vacancy number: 09/124. Please send your application by E-mail, as soon as possible but no later than 15th of July. For more information, see http://fmt.cs.utwente.nl/projects/SlaLoM/vacancy.html Or contact Dr. Marieke Huisman at .

Please note that this newsitem has been archived, and may contain outdated information or links.