The HD-Sec project will be undertaken by an experienced team from Electronics and Computer Science (ECS) at the University of Southampton.
Professor Michael Butler, the Principal Investigator, is a world-leader in the development and industrial deployment of formal engineering methods for assurance of safety and security.
Professor Vladimiro Sassone is a Professor of Cyber Security, holds a Royal Academy of Engineering Research Chair and leads the University's cyber security activities.
Dr Thai Son Hoang is a leading researcher in refinement-based formal methods, including Event-B.
Dr Leonardo Aniello noted for his research on cyber security and distributed systems topics.
Dr Robert Thorburn is a researcher in cyber security, working on privacy, systems design, and the IoT.
Dr Asieh Salehi Fathabadi is a senior researcher in formal methods and has experience in tool development and verification.
Dr Colin Snook is a senior researcher in formal methods and has experience in tool development and verification.
Dr Dana Dghaym is a lecturer in formal methods and has experience in tool development and verification.