Marco Guarnieri joined the IMDEA Software Institute (Spain) as a postdoctoral researcher in July 2018. Before that, he worked as a postdoctoral researcher at ETH Zurich (Switzerland), where he also completed a Ph.D. in the Information Security group. He received his bachelor’s and master’s degrees in computer engineering from Università degli Studi di Bergamo (Italy).
His research focuses on the design, analysis, and implementation of practical systems for securely storing and processing sensitive data. He applies his research to the analysis of micro-architectural side-channel attacks (and countermeasures) and to database security. More generally, he is interested in security and privacy, programming languages, and formal methods.
For further information please visit his personal homepage.
Security, privacy, programming languages, formal methods.