-
of this postdoctoral position is to enable the formal verification of security protocols involving non-negligible probabilities. Formal methods have proven their value in the design and analysis of security protocols
Enter an email to receive alerts for formal-verification "https:" positions