Members

Full Member

Axiomise Ltd

At Axiomise, our vision is to make formal normal, and for the last seven years, we have been doing just that! We have pioneered the adoption of formal verification in ...

View member

Full Member

BT Group

BT Group is the UK’s leading provider of fixed and mobile telecommunications and related secure digital products, solutions and services. We also provide managed telec...

View member

Full Member

Cantech Informatics SRL

Details to follow.

View member

Founding member Full Member

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. The ...

View member

Community Member

Centrale Supélec

Details to follow.

View member

Founding member Full Member

Chevin Technology

Chevin Technology designs and develops cutting-edge Ethernet protocol accelerators and Silicon Security Solutions for FPGA and ASIC platforms. Operating from our headq...

View member

Founding member Full Member

Codasip

Codasip is a processor technology company enabling system-on-chip developers to differentiate their products for competitive advantage. Customers leverage the transfor...

View member

Founding member Full Member

Critical Technologies Inc.

The Critical Technologies Inc. (CTI) mission is trustworthy networked autonomy. CTI’s near term goal is to return meaningful control of devices, networks and data to t...

View member

Founding member Community Member

CyNam

CyNam is Cheltenham’s hub for cyber security and technology – connecting diverse minds to enable secure innovation and growth. We are the DSIT and UKC3 recognised cybe...

View member

Full Member

CyberWhiz

IoT Cyber Security Solutions and Services for Edge – Mobile – Cloud.

View member

Founding member Community Member

Defence Science and Technology Laboratory (Dstl)

The Defence Science and Technology Laboratory (Dstl) delivers high-impact science and technology (S&T) solutions to enhance the UK’s defence and security. As an execut...

View member

Community Member

Digital Catapult

Digital Catapult is a deep tech innovation organisation. We help businesses grow by applying deep tech. We show what is possible, positive and productive with advanced...

View member

Community Member

DiscribeHub+

Details to follow.

View member

Community Member

Durham University

The Department of Computer Science, based in the beautiful historic city of Durham, is one of the leading UK departments with an outstanding reputation for excellence ...

View member

Full Member

EnSilica

EnSilica is a fabless, application-specific chipmaker combining deep system-level expertise with world-class RF, mmWave, mixed-signal and complex digital IC design. We...

View member

Founding member Full Member

FreeBSD Foundation

The FreeBSD Foundation is a 501(c)(3) non-profit organization supporting the FreeBSD Project and community. Accepting donations from individuals and businesses, the Fo...

View member

Founding member Full Member

Google

Google’s mission is to organize the world’s information and make it universally accessible and useful.

View member

Community Member

Instituto Superior de Engenharia do Porto

The School of Engineering of the Polytechnic Institute of Porto (ISEP), Portugal, is a public higher education and research institution, and one of the largest schools...

View member

Community Member

Johannes Kepler University Linz (JKU)

Johannes Kepler University (JKU) Linz is a public research university in Linz, Upper Austria. Located on a modern campus just outside the city center, JKU brings toget...

View member

Community Member

KU Leuven

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-...

View member

Full Member

King Abdullah University of Science and Technology (KAUST)

Details to follow.

View member

Founding member Full Member

Light Momentum Technology Corp.

Light Momentum Technology Corp. (LMTech), founded in 2021 by top university alumni in Taiwan, specializes in IC design, AI, and edge computing. LMTech provides integra...

View member

Community Member

MISRA

Details to follow.

View member

Founding member Community Member

NCSC

UK National Cyber Security Centre

View member

Full Member

Novomorphic

Details to follow.

View member

Founding member Full Member

NquiringMinds

Secure AI Agents Our customers can develop, and deploy distributed AI agents, with high security assurances. NquiringMinds combine deep security expertise with AI deve...

View member

Founding member Full Member

Parvat Infotech

Parvat Infotech is an Indian software development consultancy, established in 2003. It provides a small sharp team of experts with a deep understanding of bespoke soft...

View member

Community Member

Rheinland-Pfälzische Technische Universität Kaiserslautern-Landau (RPTU)

RPTU is a public research university in Kaiserslautern and Landau in der Pfalz, Germany. RPTU is home to 17,000 students, 300 professorships, and 160 degree programs. ...

View member

Founding member Full Member

SCI Semiconductor

SCI Semiconductor was formed to lead the commercialisation of CHERI technologies and is a founder member of the CHERI Alliance. With a strong focus on secure and high-...

View member

Founding member Community Member

SRI

SRI creates and delivers world-changing solutions for a safer, healthier, and more sustainable future. A global leader in R&D with deep roots in Silicon Valley, SRI is...

View member

Community Member

Secure Systems Lab at National Taiwan University

Secure Systems Lab (SSLab) conducts research to advance the security, reliability, and performance of modern computer systems. We investigate core system components—of...

View member

Full Member

Sensor IT

Details to follow.

View member

Full Member

Siemens

Details to follow.

View member

Founding member Community Member

Swansea University

Swansea University is a research university and one of the leading institutions in Wales (United Kingdom). The Faculty of Science & Engineering (FSE) at Swansea is nat...

View member

Founding member Community Member

TechWorks

TechWorks is a new type of industry association at the core of the UK deep tech community with an ambition to harness our fantastic engineering and innovation to devel...

View member

Full Member

The Capable Hub

The Capable Hub is a non-profit engineering organisation improving the availability, quality and upstream alignment of open-source CHERI software.

View member

Community Member

The University of Manchester

The University of Manchester, a charitable body incorporated by Royal Charter, is a centre of teaching excellence, world-class research, outstanding student experience...

View member

Founding member Community Member

Trusted Computing Center of Excellence (TCCoE)

The Trusted Computing Center of Excellence™ (TCCoE) not-for-profit organization’s purpose is to lower barriers to adoption and facilitate the principled development an...

View member

Full Member

UM Labs

UM Labs is a cyber security company specialising in securing real-time communication protocols on IP networks. Applications include voice and video calls, streaming vi...

View member

Founding member Community Member

University of Birmingham, Centre for Cyber Security and Privacy

The University of Birmingham is a world top 100 university and part of the prestigious Russell Group. Its School of Computer Science is ranked 3rd in the UK for Resear...

View member

Founding member Full Member

University of Cambridge

University of Cambridge is one of the top ten universities in the world. University of Cambridge and SRI International started working on CHERI in 2010 and have broade...

View member

Community Member

University of Edinburgh

Details to follow.

View member

Community Member

University of Exeter

The University of Exeter is a Russell Group university and a leading research-intensive institution located in the South West of England, UK. The Faculty of Environmen...

View member

Founding member Community Member

University of Glasgow

A Russell Group university with a strong sense of civic mission.

View member

Community Member

University of Kent

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 C...

View member

Full Member

VeriSilicon

VeriSilicon Holdings Co., Ltd. (VeriSilicon, 688521.SH) is committed to providing customers with platform-based, all-around, one-stop custom silicon services and semic...

View member

Full Member

Wind River

Wind River is a global leader in delivering software for the intelligent edge. For more than four decades, the company has been an innovator and pioneer, powering bill...

View member

Full Member

Wyvern Global

Wyvern Global Semiconductors is leading the way in memory-secure System on Chips (SoCs) with our Wyvern Advanced RISC-V Processor, known as WARP. We are dedicated to p...

View member

Full Member

ZAYA

We offer security solutions and containerisation for microcontrollers and embedded systems, addressing specific security needs for small and compact devices in markets...

View member

Founding member Full Member

lowRISC

Founded in 2014 at the University of Cambridge Department of Computer Science and Technology, lowRISC is a not-for-profit company/CIC that provides a neutral home for ...

View member