Researchers create innovative verification techniques to increase security in artificial intelligence and image processing
April 29, 2024
A team of researchers from the IMDEA Software Institute, Universidad Carlos III de Madrid and NEC Laboratories Europe has introduced...
[ Read More ]
Decentralized and Distributed Stream Runtime Verification: Enhancing Monitoring in Complex Systems
April 24, 2024
Researcher Luis Miguel Danielsson, advised by Professor César Sánchez, has defended his thesis, titled: “Decentralized and Distributed Stream Runtime Verification”
[ Read More ]
On the concrete security of approximate FHE with noise-flooding countermeasures
April 24, 2024
Approximate fully homomorphic encryption (FHE) schemes such as the CKKS scheme (Asiacrypt ’17) are popular in practice due to their...
[ Read More ]
New Approach to Concurrent Programming Ensures Program Correctness
April 22, 2024
Researcher Joakim Öhman, supervised by Professor Aleks Nanevski, presented his thesis: “Compositional Reasoning of Concurrency with the Visibility Method”
[ Read More ]
On the Specification and Analysis of Normative Contracts
April 19, 2024
In this talk I will present the work I have done concerning the specification and analysis of normative documents using...
[ Read More ]
IMDEA Software’s main projects stand out at Transfiere
March 27, 2024
As in previous editions, in 2024 the Institute participated in the Research and Innovation Space of the Madrid Regional Government.
[ Read More ]
Silvia Sebastián tells what her thesis is about in less than three minutes
March 25, 2024
Unveils a novel automated approach to attribution, significantly transforming the process of identifying entities responsible for cyberattacks
[ Read More ]
Generative models for video games
March 19, 2024
This talk will show some of the recent advances we are doing at Microsoft Research towards agents capable of modeling...
[ Read More ]
Security evaluation of modern industrial control systems
March 18, 2024
Recent years have been pivotal in the field of Industrial Control Systems (ICS) security, with a large number of high-profile...
[ Read More ]
Automatic Testing in Modern Systems
March 15, 2024
Adversaries exploit vulnerabilities to compromise systems. For instance, a vulnerability in a Web browser sandbox may allow an attacker to...
[ Read More ]
