Talk by František Farka: Proof-Relevant Resolution: The Foundations of Constructive Automation
April 30, 2019
In this talk, we introduce proof-relevant resolution, a framework for constructive proof automation. The intended application of the framework is...
[ Read More ]
Proof-Relevant Resolution: The Foundations of Constructive Automation
April 30, 2019
In this talk, we introduce proof-relevant resolution, a framework for constructive proof automation. The intended application of the framework is...
[ Read More ]
Arturo Azcorra explains 5G in RNE
April 29, 2019
Arturo Azcorra, Director of IMDEA Networks Institute and Full Professor at University Carlos III of Madrid, is interviewed by the...
[ Read More ]
Talk by Ignacio Cascudo: Some developments in secure multiparty computation for binary circuits
April 26, 2019
Secure multiparty computation studies deals with privacy-preserving computation, where several parties, some of them holding private inputs, want to collaborate...
[ Read More ]
First Prize in Hackathon SAS-Correos goes to joint IMDEA Networks/UC3M multidisciplinary team
April 26, 2019
CORREOS and SAS España award a team from IMDEA Networks and University Carlos III of Madrid (UC3M) for the best...
[ Read More ]
Some developments in secure multiparty computation for binary circuits
April 26, 2019
Secure multiparty computation studies deals with privacy-preserving computation, where several parties, some of them holding private inputs, want to collaborate...
[ Read More ]
Talk by Klaus von Gleissenthall: Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs
April 25, 2019
In this talk, I will present pretend synchrony, a new approach to verifying distributed systems, based on the observation that...
[ Read More ]
Pretend Synchrony: Synchronous Verification of Asynchronous Distributed Programs
April 25, 2019
In this talk, I will present pretend synchrony, a new approach to verifying distributed systems, based on the observation that...
[ Read More ]
Talk by Marco Guarnieri: Principled detection of speculative information flows
April 24, 2019
Modern CPUs employ speculative execution to avoid expensive pipeline stalls by predicting the outcome of branching (and other) decisions and...
[ Read More ]
Principled detection of speculative information flows
April 24, 2019
Modern CPUs employ speculative execution to avoid expensive pipeline stalls by predicting the outcome of branching (and other) decisions and...
[ Read More ]
