Skip to content
Research Institute on Verified Trustworthy Software Systems
About Us
Projects
News and Events
Menu Toggle
Latest News
Summer School
Sponsored Events
Annual Meetings
Recruitment
Menu Toggle
Vacancies
Publications
Reports
Menu Toggle
Annual Reports
EDI Statement
People
Contact Us
Email
Zulip
Main Menu
About Us
Abstract: Automatic verification of transparency protocols
Abstract: Benchmarking and verifying quantum computers
Abstract: CsmithEdge: More Effective Compiler Testing by Handling Undefined Behaviour Less Conservatively
Abstract: Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Abstract: Formal Verification and Bug Finding at Meta
Abstract: Rust on Morello
Abstract: Security and Legacy at Microsoft
Abstract: The Research Institute for Trustworthy Interconnected Cyber-physical Systems (RITICS)
Accessibility
Annual meeting 2023
Annual Meetings
Annual report – all – bridge
Annual Report 2017-18 – bridge
Annual Report 2018-19 – bridge
Annual Report 2019-20 – bridge
Annual Report 2020-21 – bridge
Annual Report 2021-22 – bridge
Annual Reports
Bit-Precise Neural Network Verification
Contact Us
Contactless Payments made Private via Bisimilarity
EDI Statement
Fifth Workshop on Formal Methods and Tools for Security (FMATS5)
Guiding enumerative synthesis with large language models
Holistic security from code to cloud
Latest News
M4Secure: Making Memory Management More Secure
News and Events
Object Capabilities as Guards – Specification, Verification, and open calls –
People
Projects
Publications
Recruitment
Reports
Secure Smart Contracts with Isabelle/Solidity
Sponsored Events
Summer School
Verified Software Workshop, 24th-25th September 2019
VeTSS Annual Meeting 2024
VeTSS Code of ConductÂ
VeTSS Inaugural Meeting
VeTSS PhD School and Sixth Workshop on Formal Methods and Tools for Security (FMATS6)
Workshop on Formal Methods and Tools for Security (FMATS)
Writing formal specifications at ARM
Annual Reports
2021 – 2022
2020 – 2021
2019 – 2020
2018 – 2019
2017 – 2018