"Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions"
The paper develops a framework for defining hardware-software contracts that capture hardware side-channel security guarantees in a simple, mechanism-independent manner
The PICOCRYPT project, led by the IMDEA Software Institute, will guarantee integrity, privacy and effectiveness of computation on data stored in the cloud
The conference, that will take place from the 23rd to 27th of May, has recently published the list of accepted papers.
