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.