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.

  • Timeline


Start date: M0

End date: M96


Erik Poll

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.

Key Outcomes

The INTERSCT consortium is working hard toward producing the first tangible outcomes. The Key Outcomes of this Work Package will be available soon


Public Deliverables

Available soon