November 8, 2013

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.