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 ]
