PhD in End-to-End Verification of Security Protocols in Isabelle
University of Exeter
- Exeter
£21805 per year
Modern security systems often rely on complex software that translates programs into forms that can be checked automatically. To trust such systems, it is not enough to verify the underlying security
To skrót ogłoszenia. Pełną treść i formularz aplikacji znajdziesz na stronie ogłoszeniodawcy.
Przejdź do ogłoszenia