Projects
Modular formal verification of expressive low-level object-oriented programming languages KU Leuven
In this PhD project, we perform research on the theory and tool-building aspects of performing modular formal verification of safety and security properties of programs written in industrially-relevant programming languages such as C++, with the goal of making modular formal verification technology more applicable to industrial practice. Challenges include supporting C++ templates and the C++ Standard Template Library, and adding full support ...
Agricultural development, technology and value chains in developing and transition countries. KU Leuven
This thesis is about agricultural development, technology adoption and value chains in developing countries. It first focuses on the transition economies of Central Asia, and Central and Eastern Europe before exploring the dairy market in India. Though they display great heterogeneity, what joins these two regions is a strong dependency on their respective agricultural sectors to alleviate poverty and maintain food security.
The first ...
New Methods for Symmetric Cryptography KU Leuven
Despite the worldwide adoption of cryptographic standards, the rise of Internet of Things creates a need for new cryptographic primitives tailored for resource-constrained environments. We focus on the design and implementation of lightweight linear layers for symmetric ciphers. We propose new constructions of lightweight MDS (Maximum Distance Separable) and near-MDS matrices. We present new cryptanalytic methods for two classes of emerging ...
Merging Control Flow Error and Data Flow Error Detection Techniques to make them Applicable in an Industrial Context KU Leuven
To maximize the resilience of an embedded system against external disturbances, both CFE and DFE must be detected. This combined detection is often mandatory for missions and safety critical systems that are federated through laws and standards. Simply merging a CFE detection technique and a DFE detection technique together and implementing that created technique for the entire target program is excessive and imposes too much overhead. This ...
Design of THz Radiators in Nanometer CMOS KU Leuven
In the frequency spectrum, the THz range is located between the millimeter wave and the far field infrared spectrum. There are numerous possible applications in the THz range such as medical/security imaging, spectroscopy, and communication. In these applications, THz signal sources are needed to provide the output signal in a transmitter or provide the LO signal in a heterodyne transceiver. CMOS technologies have the advantage of low cost in ...
Bioaccessibility and digestion of nutrients in Bambara groundnuts as affected by postharvest storage and processing KU Leuven
Indigenous pulses are a locally adapted and sustainable solution that can improve food security in developing countries. In addition, malnutrition remains an unresolved challenge, which continues to be addressed. Pulses are commonly stored for long after harvest. Hence, they are a reliable food source in times of famine. However, upon postharvest storage of pulses, several biochemical reactions can occur as described by the hard-to-cook (HTC) ...