Towards Security Minded Verification: A Case Study of Cooperative Awareness Messages

Talk at University of Coventry, Coventry, UK

I was invited to give a talk to Coventry University’s Institute for Future Transport and Cities on my work performed for FAIR-SPACE which investigated a formal verification of security properties of the generation of Cooperative Awareness Messages. One of the conclusions of this presentation was the difficulty of verifying non-functional security properties.

The presentation is available here

Giving Presentation