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 Dana Dghaym is a researcher in formal methods and has experience in tool development and verification.