Ralf Steinmetz new member of the Academy of Europaea
October 16, 2019
Professor Dr. Ralf Steinmetz, President of IMDEA Networks’ Board of Trustees and Full Professor at the Multimedia Communications Lab (KOM)...
[ Read More ]
Ralf Steinmetz new member of the Academy of Europe
October 16, 2019
Professor Dr. Ralf Steinmetz, President of IMDEA Networks’ Board of Trustees and Full Professor at the Multimedia Communications Lab (KOM)...
[ Read More ]
IMDEA Energy participates in the V European Electric Vehicle Congress CEVE 2019
October 16, 2019
On October 23rd and 24th, 2019, the V European Electric Vehicle Congress CEVE 2019 will be held at the Duque...
[ Read More ]
Talk by Bernardo David: Efficient Privacy Preserving Computation meets Blockchains
October 16, 2019
Multiparty Computation (MPC) protocols allow a set of mutually distrustful parties to compute a program without revealing their private inputs....
[ Read More ]
Efficient Privacy Preserving Computation meets Blockchains
October 16, 2019
Multiparty Computation (MPC) protocols allow a set of mutually distrustful parties to compute a program without revealing their private inputs....
[ Read More ]
Seminar of Dr. Gustavo M. Castelluccio from Cranfield University (UK) , entitle “Physics-based models for fatigue damage” – October 17th at 1:00 pm, in the Seminar Room
October 15, 2019
Abstract: Physics-based models for fatigue damage. Fatigue failure prognosis requires understanding the mechanical response of materials under myriads of service...
[ Read More ]
Talk by Yu-yang Lin: A Bounded Model Checking Technique for Higher-Order Programs
October 15, 2019
We present a Bounded Model Checking technique for higher-order programs based on defunctionalization and points-to analysis. The vehicle of our...
[ Read More ]
A Bounded Model Checking Technique for Higher-Order Programs
October 15, 2019
We present a Bounded Model Checking technique for higher-order programs based on defunctionalization and points-to analysis. The vehicle of our...
[ Read More ]
Talk by Alejandro Ranchal-Pedrosa: Platypus: Offchain Protocols without Synchrony
October 14, 2019
Offchain protocols aim at bypassing the scalability and privacy limitations of classic blockchains by allowing a subset of participants to...
[ Read More ]
Platypus: Offchain Protocols without Synchrony
October 14, 2019
Offchain protocols aim at bypassing the scalability and privacy limitations of classic blockchains by allowing a subset of participants to...
[ Read More ]
