Projects
An Architecture for the Analysis and Management of Security in Industrial Control Systems. KU Leuven
Cyber-Physical Systems (CPS) are responsible for analysing and controlling a large number of processes such as distribution of gas and electricity, monitoring a nuclear reactor or controlling traffic lights. The last decades these systems have evolved from isolated, proprietary systems to environments that use commercial products, integrated with back-end systems that are often connected with corporate networks and the internet. This ...
Sparkle (tackling Security, Privacy and Autonomy risKs through Legal Engineering). KU Leuven
The digital transformation affects all sectors, both within the government and within the private industry. While digital technologies have a strongly positive impact on our society and our economy, the lack of adequate (cyber)security in our systems, platforms and services can lead to major dangers, risks and problems. More and more information is being collected and analyzed, leading to significant efficiency gains and new applications, but ...
The impact of mass violence op trust, security and political representation. University of Antwerp
Smart crowd security management through adaptive routing Ghent University
Public safety is one of the most pressing concerns in the cities of today. Whenever multiple citizens gather in public space, crowd dynamics can cause hazardous situations. To avoid evacuations and disasters, it is pertinent that the movement and evolution of a crowd can be tracked, predicted and adapted, while assuring privacy. Therefore, this project will integrate crowd tracking and modeling, which will give input to a routing algorithm. ...
Advanced research and training network in food quality, safety and security (FOODTRANET). Emerging chemicals in novel food commodities of animal origin. University of Antwerp
Rigorous security guarantees for programming languages - BOF Tenure Track Mandate (WE/2018/004) Vrije Universiteit Brussel
- Object capabilities and capability machines
- Modular effects and object oriented languages
- New reasoning principles for dependently-typed languages
- Secure compilation..
Does the EU suffer from an "environmental democratic deficit"? Access to information and public participation in environmental decision-making in a comparative perspective. Hasselt University
An embedded RISC-V processor resistant against information leakage KU Leuven
HEAT KU Leuven
Project summary
The HEAT project develops advanced cryptographic technologies to process sensitive information in encrypted form, without needing to compromise on the privacy and security of the citizens and organizations that provide the input data.
The core technology is based on homomorphic cryptography, which allows to perform computations on encrypted information without decrypting it. The main goal of HEAT is to produce a ...