PhD Position F/M PhD position in formal verification of cryptographic protocols: protocol synthesis
Fr and Steve Kremer, Steve.Kremer@inria.fr. Security protocols are distributed programs that aim at ensuring security properties, such as confidentiality,…
