Projects
Algebraic and geometric methods in solving polynomial systems of equations KU Leuven
Polynomial systems of equations arise in many different areas of mathematics and engineering. For example, they mathematically model several problems in formal verifications. The main goal of this PhD project is to exploit combinatorial and geometric structures in such polynomial systems and use them to find efficient algorithms to solve them. We will use techniques from real algebraic geometry, parameterized complexity theory and graph ...
Open-source ReSilient Hardware and software for Internet of thiNgs KU Leuven
It is common wisdom that security is only as strong as the weakest link in a chain. However, identifying the chain and its weak links is a huge challenge, even more so for open-source hardware aimed at the Internet of Things (IoT), industrial IoT and critical infrastructure. Most of these devices operate in constrained environments, with limited energy budgets and routinely lack essential security and privacy guarantees.
The primary goal ...
Query Languages for Neural Networks. Hasselt University
Autonomous Creation of Analog Integrated Circuits based on Self-Learning of Design Expertise KU Leuven
Progress in semiconductor technology and in intelligent data processing are converging today, opening the door to countless smart ICT applications through the Cloud and Internet of Everything, to the people’s benefit in years to come. Applications that interact with the physical world (e.g. environmental sensing, healthcare, autonomous vehicles, etc.), also need analog integrated circuits in the cyber-physical or edge layer. But while digital ...
Cryptography Secured against Physical Attacks KU Leuven
As electronic devices become ubiquitous, the attacker often has physical access to the device that is the implementation of cryptographic primitives. One class of physical attack is side-channel analysis (SCA), a non-invasive attack that measures side-channel leakages from a device such as execution time, power consumption, electromagnetic radiation. Another class is fault attacks (FA), in which the attacker introduce computational errors by ...