University of Kent

Description

The University of Kent is a British research and teaching University in the historic city of Canterbury. The Programming Languages and Systems group of the School of Computing is in the top 5 for research in their field nationally.

CHERI Activities

Kent, with support through the Digital Security by Design project, has developed formal semantics for concurrent C and maintains the CHERI port of the Rust compiler. Their Programming Languages and Systems research group investigates language semantics, compiler optimisations, type systems, runtimes, system verification, and memory safety.

Open-source Assets for CHERI

The CHERI Rust port is available on Github: https://github.com/kent-weak-memory/rust/