Rust
Hyper Secure by Design
Security is not an afterthought; it is the foundational layer of modern digital systems. Our team specialises in advising, designing, and developing solutions built around the very latest secure by design mechanisms and technologies.
We provide end-to-end security advisory that covers the entire technology stack, including:
- Software Programming Language & Coding Guidelines: Guiding selection based on memory safety and intrinsic security features with languages such as Rust, and how to align to coding guidelines for legacy languages such as C++ MISRA.
- Processor Type Selection: Advising on hardware-based security capabilities and architectures for ASICs, FPGAs, CPUs, GPUs and more.
- Operations & Governance Processes: Establishing policies and controls for sustainable, compliant security management.
Validating Next-Generation Hardware Security (CHERI)
We operate at the leading edge of hardware-based security innovation. Our team has been involved in testing cutting-edge CHERI (Capability Hardware Enhanced RISC Instructions) based memory-secure processors, developed through a collaboration between Cambridge University and ARM.