Communication networks like the Internet form a large distributed system where a huge number of components run in parallel, such as security protocols and distributed web applications. For what concerns security, it is obviously infeasible to verify them all at once as one monolithic entity; rather, one has to verify individual components in isolation.
I am looking forward to the Fun in the REPL in Bristol on the 1st of November 2023. This is part of the S-REPLS series.
I am happy to announce that Teddy Cameron-Burke will join the Software Assurance & Security Research Team as a PhD student.
Many congratulations to Sakine Halman who passed her PhD viva with minor corrections!
Prof. Burkhart Wolff from the University Paris-Saclay will present our joint work on Isabelle/DOF as a keynote speaker at the International Conference on Rigorous State Based Methods (ABZ 2023).
From 8th of May to 8th of June, I will be staying at the University Paris-Saclay. I will be staying with the Laboratoire Méthodes Formelles (LMF), which kindly is hosting me.
As part of the 16th edition of Secure South West, we will present work we are doing as part of the AutoCHERI on applying Secure by Design principle to smart vehicles.
For the first time, we are hosting Secure South West on our lovely Streatham Campus in Exeter. Secure South West is organised by South West Cyber Security Cluster. This year, it focuses on Smart Systems Security.
Welcome to the blog of the Software Assurance & Security Research Team at the University of Exeter. We blog regularly news, tips & tricks, as well as fun facts about software assurance, reliability, security, testing, verification, hacking, and logic.
You can also follow us on Twitter: @logicalhacking.