Research projects
-
PQ-HINTS
This project will propose models to better understand how algorithm specifics influence the impact of side-channel attacks to security and provide more efficient and cheaper protection while still offering provable security guarantees.
-
ESCAPE
Post-quantum cryptosystems resist quantum attacks, but securing real-world implementations remains costly and complex.ESCAPE tackles this by integrating implementation security from the design stage, enabling faster deployment and stronger guarantees
-
PQstrong
This project supports NIST and other standardisation efforts for post-quantum digital signatures by developing new cryptanalytic methods to scrutinise proposed designs and strengthen confidence in the resulting standards.
-
ALPaQCa
The project focuses on developing new and improving existing algebraic methods for cryptanalysis of post-quantum cryptosystems.
-
WeSPO: Web Security and Privacy Observatory
The NWO Vidi Web Security and Privacy Observatory (WeSPO) project aims to serve as a warning system for privacy and security threats from malicious advertisements, digital skimming attacks and stealthy online tracking methods.
-
Building on Digital Identity
In this project, we create and research trustworthy and privacy-friendly applications for identity wallets.
-
TiCToC
Optimizing the testing of variable high-tech systems.
-
Improved STORM algorithm
Data scientists from Alliander and Radboud University are working together on a system that will allow better mapping of whether there is still space on the power grid.
-
Explainable synthesis of supervisory controllers
In this project, a collaboration with ASML, Hendriks and Vaandrager will research how to develop supervisory controllers more efficiently using synthesis-based engineering (SBE).
-
AI and Simulations for Decoding the Spatiotemporal Dynamics of Immune Responses
Microscopes allow scientists to film cell movement. This project is working on developing AI to improve analysis of cell movement videos.
-
FuRoRe: Foundations for Robust Runtime monitoring
This project focuses on enhancing the control mechanism of autonomous systems, specifically runtime monitors, in uncertain situations.
-
PhD internship: Detection Algorithms
Alex Kolmus, PhD in the Applied Mathematics group of Gabriel Lord (Radboud University), was given the opportunity to work on an Alliander cases for three months.
-
Graph Neural Networks – PhD
PhD project on redirecting power in situation concerning maintenance and outage of the energy grid. Research is done by using graph neural networks.
-
What is the influence of cable temperature on the possible load of the electricity network?
What is the influence of temperature (think of heat pumps and airconditioning) on the possible load on the electricity network?
-
Implicit Complexity through Higher Order Rewriting (ICHOR)
The goal of ICHOR is to study computational complexity of and using higher-order term rewriting systems. Our particular focus is to develop methods that involve algebra interpretations.