IMDEA Software Researcher Wins ETH Best Doctoral Thesis Award
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.
