Benedikt Schmidt, a postdoctoral researcher at the IMDEA Software Institute has been awarded a medal for an outstanding doctoral dissertation by ETH Zurich, on the topic of formal analysis of key exchange protocols and physical protocols.