Sort by
Refine Your Search
-
Listed
-
Field
-
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
-
financial support. Information about the institute, its members, and salient activities may be found on its site https://poincare.univ-lorraine.fr/fr/axes . The Poincaré Archives are recognized in France and
Enter an email to receive alerts for formal-methods "https:" positions