Vacancy — PhD Position in Formal Methods for Concurrent Cryptographic Protocols
The goal of 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,...
workingat.vu.nl