Home

Summary

We publish here our updates on formal verification on 5G procedures and our experimentation with them, in simulation and 5G test-beds.

Contacts

Acknowledgements

This work is funded by the UK’s National Cyber Security Centre (NCSC) and British Telecom (BT).