Principled foundations for microarchitectural security
December 21, 2022
Microarchitectural attacks, such as Spectre and Meltdown, illustrate that artifacts of hardware implementations (like speculative and out-of-order execution) can result...
[ Read More ]
OPENQKD, the project that has installed a test quantum communication infrastructure in several European countries, has finalized
December 18, 2022
The OPENQKD project culminates after three years of duration and a budget of 15 million euros financed by the European...
[ Read More ]
OPENQKD, the project that has installed a test quantum communication infrastructure in several European countries, has finalized
December 18, 2022
The OPENQKD project culminates after three years of duration and a budget of 15 million euros financed by the European...
[ Read More ]
Madrid hosts the last meeting of the European project OPENQKD, which has brought together companies, academics and researchers
December 16, 2022
Madrid was the city chosen to hold the last QKD meeting of the European quantum communications project, OpenQKD, which took...
[ Read More ]
Madrid hosts the last meeting of the European project OPENQKD, which has brought together companies, academics and researchers
December 16, 2022
The Universidad Politécnica de Madrid has led the organization of the event.
[ Read More ]
Talk by Taylor T. Johnson: Formal Verification of Neural Networks in Autonomous Cyber-Physical Systems
December 15, 2022
The ongoing renaissance in artificial intelligence (AI) has led to the advent of data-driven machine learning (ML) methods deployed within...
[ Read More ]
IMDEA Materials represented among this year’s IOM3 award winners
December 15, 2022
IMDEA Materials Director, Professor José Manuel Torralba was on hand in London recently to receive the annual Ivor Jenkins award...
[ Read More ]
Formal Verification of Neural Networks in Autonomous Cyber-Physical Systems
December 15, 2022
The ongoing renaissance in artificial intelligence (AI) has led to the advent of data-driven machine learning (ML) methods deployed within...
[ Read More ]
Talk by Miguel Ángel Carreira Perpiñán: Solving counterfactual explanations for decision trees and forests
December 14, 2022
A counterfactual explanation refers to the problem of finding a minimum change to a given input instance that will result...
[ Read More ]
Solving counterfactual explanations for decision trees and forests
December 14, 2022
A counterfactual explanation refers to the problem of finding a minimum change to a given input instance that will result...
[ Read More ]
