معرفی
Professor Vladimiro Sassone holds the Roke/RAEng Research Chair in Cyber Security at the University of Southampton, where he leads cutting-edge research in secure systems design. As a core member of the Cyber Security Academy, he directs EPSRC and EU-funded projects including IOTEE (trusted execution environments), BlockIT (blockchain for IoT), and HEALTH-I (human-centric IoT security). His work bridges theoretical formal methods with practical security implementations across critical infrastructure domains.
His research focuses on cyber security with specialized expertise in blockchain systems, IoT security, formal verification, and hardware security. He develops rigorous methodologies for exception handling in capability-based architectures, scalable network fingerprinting for IoT devices, and security analysis of blockchain consensus protocols. His approach integrates mathematical formalisms with empirical validation to address real-world vulnerabilities in supply chains, smart contracts, and distributed systems.
Analysis of his 2021-2025 publications reveals three dominant trajectories: (1) Hardware security advancements through CHERI capability systems and formal exception recovery; (2) Blockchain security innovations in consensus protocol evaluation, smart contract patterns, and Byzantine fault tolerance; (3) IoT security solutions via network fingerprinting and human-centric architectures. His work consistently bridges theoretical formal methods with practical security implementations.
Professor Sassone's scientific recognition includes:
- Fellow of the British Computer Society (FBCS)
- Member of Academia Europaea (MAE)
He currently supervises six PhD candidates across Computer Science and Business Studies, including Max Dylan Hayman (IoT security), Justin Stephen Hempson-Jones (business security applications), and Shuyan Zou (blockchain systems). His research is sustained by major grants including EPSRC's IOTEE (£1.2M), BlockIT (£850K), and EU H2020 SUNFISH (£2.1M), with recent funding focusing on hardware supply chain security and regulatory compliance frameworks.
As a principal investigator in the Cyber Security Academy, Sassone leads a multidisciplinary team developing formal verification tools for secure systems. Current initiatives include CHERI capability hardware integration, blockchain consensus scalability frameworks, and serious games for supply chain security training, with industry partnerships spanning Roke, RAEng, and European cybersecurity consortia.
