Work Package 2
Design
Objectives
– Providing a robust methodology for designing & building systems that autonomously cooperate for security, enabling the subsequent defence and updating in response to attacks.
– Understanding the drivers behind current bad practices & obstacles to introducing better ones in industrial practices.
– Providing showcases, incl. certified components, applying these techniques.
- Timeline
M96 |
Start date: M0
End date: M96
Leader

Erik Poll
Radboud University
Erik Poll is associate professor in the Digital Security Group at Radboud University in Nijmegen, where he specialises in software security, smartcards, and formal methods. Over the years he has worked on formal specification and verification of software, on formal techniques for security testing, and on more applied research into the security of various systems, for instance payment systems and smart grids.
Research Team
Main Researchers

Mark van den Brand
TU/e

Jan Tretmans
TNO ESI

Hans Henseler
HS Leiden

Alexandr Vasenev
TNO ESI

Ivan Kurtev
TU/e

Nirvana Meratnia
TU/e

Tanir Özçelebi
TU/e

Taede Punter
Fontys
PhD Students
- Cristian Daniele – RU
- Zahra Hatefi – TU/e
- Seyed Behnam Andarzian – RU