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

Studentship Closed

This research opportunity is now closed so we will not be accepting any more applications for it.

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)