When: Thursday, 2015-June-25, 11h30-12h00
Where: FCUL-DI, room C6.3.38
Presenter: Bruno Vavala
Abstract: Trusted Computing is about guaranteeing the integrity of a remote service based on a small piece of secure hardware. Despite several solutions have been proposed, they either focus on small applications or their performance strongly depends from the service’s state size. In this DI-Smalltalk I will advance some ideas to deal with the problem of computing over a large state in a constrained environment, while still being able to deliver security guarantees that are efficiently verifiable.
About the presenter: Ph.D. student at FCUL-DI & CMU-CSD