1 apply-"https:" "https:" "https:" "https:" "https:" "https:" PhD positions at Vrije Universiteit Amsterdam (VU)

PhD Position in Formal Methods for Concurrent Cryptographic Protocols

Vrije Universiteit Amsterdam (VU) | Amsterdam, Provincie Noord-Holland | Netherlands | 8 days ago

this project is to use formal methods to develop a systematic way to describe concurrent cryptographic protocols and to reason about their security. If this sounds interesting to you, please apply at