Work Package 2
– 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.
Start date: M0
End date: M96
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.