Researchers from the IMDEA Software Institute, TU Wien and Purdue University have developed a protocol that makes more secure and faster transactions in cryptocurrencies like Bitcoin
"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
