Projects
A mathematical theory for the design and analysis of symmetric cryptographic primitives. KU Leuven
A mathematical theory for the design of symmetric primitives. KU Leuven
DRASTIC: Dynamically Reconfigurable Architectures for Side-channel analysis protecTIon of Cryptographic implementations KU Leuven
This project proposes the use of dynamic hardware reconfiguration as a countermeasure against one of the most exploited types of SCA attacks, namely power analysis attacks. The goal is to randomly change the hardware circuit without altering the input-output behaviour of the chip. Since power analysis attacks are strongly based on the knowledge of the circuit, this is a very promising countermeasure. Another advantage is that ...
Hensel minimality KU Leuven
Studying rational points on algebraic varieties is one of the most fundamental topics in algebraic geometry and number theory. The proposed project fits into this research topic. For a rational number q=a/b with a and b coprime, we define the height of q to be the maximum of |a| and |b|. In some sense, this measures the complexity of the number q. For a tuple (q_1, ..., q_n) of rational numbers, the height is defined to be the maximum of the ...