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.
University of Kent logo

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.

CHERI Products

This member does not currently offer CHERI products.

Open-source Assets for CHERI

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