KU Leuven

Description

Founded in 1425, the multidisciplinary and research-driven university KU Leuven has been a centre of learning for almost six centuries. Today, it is Belgium’s highest-ranked university and is one of the oldest and most renowned universities in Europe.

CHERI Activities

CHERI-related research at KU Leuven includes formal verification of ISAs and software, design of ISA extensions, microarchitectural security and other topics.