Advertised research opportunities
You want to apply for Formal modelling and verifying communication and authentication protocols ? Click get started to Apply Online now
Studentship Details
Project title
Formal modelling and verifying communication and authentication protocols
Course Code
FTCR001
Research area
Centre for Future Transport and Cities - Systems Security
Faculty/University Research Centre (URC)