Logo INTERSCT. stakeholder engagement network



HOME

ABOUT

CONSORTIUM

BLOG

CONTACT

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

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

Resources

Public Deliverables

Available soon