ETH Zurich ha otorgado la medalla a la mejor tesis doctoral al investigador postdoctoral del Instituto IMDEA Software Benedikt Schmidt. La tesis trata sobre el análisis formal de protocolos físicos y protocolos para el intercambio de claves de seguridad.
