CAPABILITIES LIMITED

Capabilities Limited offers the deep industry knowledge of software and hardware security necessary to help solve the most complex issues in security and privacy. Our expertise spans software adaptation to CHERI, OpenSSL, Certificate Transparenc, CHERI-enabled toolchains, hardware-software co-design, and formal verification-delivering robust, high-assurance security for industrial, defence, and government clients.

​

Our team has played a key role in CHERI processor design, ISA modelling in Sail, and formal verification of ISA properties. We work at the intersection of hardware and software, from firmware and operating systems to compilers, linkers, and application security.

​

With active collaborations involving Google, the University of Cambridge, DARPA, UKRI, SRI, and Arm, we are driving innovation in secure computing and working to bring principled security design into real-world systems. If security is critical to your work, we want to help.

​