Alliance members contribute perspectives from processor design, software, research, product engineering, government, infrastructure, and open-source communities.
Founding members are marked on their cards, with the current membership tier shown on every profile.
Member directory
52 results
No entries match. Try fewer terms or reset the filters.
-
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 the semiconductor industry since 2017. Led by our visionary CEO, Dr. Ashish Darbari, who has 67 patents in formal verification, and Neil Dunlop an industry veteran with 40 years of experience, Axiomise has helped twenty customers over the last seven years by providing them access to bleeding-edge formal verification methodology via its training programmes, consulting & services and vendor-neutral formal verification app for end-to-end verification of RISC-V processors.
View organisation
-
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 telecommunications, security and network & IT infrastructure services to customers across 180 countries.
View organisation
-
Cantech Informatics SRL
Details to follow.
View organisation
-
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 founders and staff have extensive experience in industry and academia and have been instrumental in various security and privacy projects, including CHERI, OpenSSL and Certificate Transparency. We are currently working with Google, University of Cambridge, DARPA, UKRI, SRI and Arm on a number of projects to build and experiment with advanced security.
View organisation
-
Centrale Supélec
Details to follow.
View organisation
-
Chevin Technology
Chevin Technology designs and develops cutting-edge Ethernet protocol accelerators and Silicon Security Solutions for FPGA and ASIC platforms. Operating from our headquarters in Cambridge Science Park, UK, we deliver expert engineering and consulting services to clients in defense, aerospace, science, and telecommunications worldwide. Our unwavering commitment to providing robust, reliable, and efficient solutions ensures that our customers realize significant value from our innovations.
View organisation
-
Codasip
Codasip is a processor technology company enabling system-on-chip developers to differentiate their products for competitive advantage. Customers leverage the transformational potential of the open RISC-V ISA in a unique way through Codasip’s Custom Compute offering: Codasip Studio design automation tools and a fully open architecture licensing model combine with a range of processor IP that can be easily customized. The company is proudly European and serves a global market, where billions of devices are already enabled by Codasip technology.
View organisation
-
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 their proper owners and enable a safe exit from the Red Queen’s race (of perpetually patching vulnerabilities due to undisciplined development). Our science fiction inspired long term optimistic vision is to lead a safe entry into a strong general AI/ML enabled Gaia protecting personal freedoms for all potential sophonts. CTI has diverse R&D experience, from one of the first broadband cable modems for a commercial vendor in 1993, a massively parallel hardware real time neural network for DARPA in 1995, and resilient tactically deployed IP networks, to explainable AI/ML today.
View organisation
-
CyberWhiz
IoT Cyber Security Solutions and Services for Edge – Mobile – Cloud.
View organisation
-
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 cyber cluster for Cheltenham and Gloucestershire. CyNam is a network that connects start-ups, investors, government, businesses, and academia to foster an environment for collaboration, knowledge sharing and innovation. CyNam offers people and organisations access to resources, partnerships and knowledge to succeed. Together, we’re building a secure digital future that addresses global challenges and drives economic growth.
View organisation
-
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 executive agency of the UK Ministry of Defence (MOD), Dstl works closely with academia, industry and international allies to advance innovative technologies that provides operational advantage. Dstl supplies specialist services to MOD and wider government, working collaboratively with external partners in industry and academia worldwide, providing expert research, specialist advice and invaluable operational support.
View organisation
-
Digital Catapult
Digital Catapult is a deep tech innovation organisation.
View organisation
-
DiscribeHub+
Details to follow.
View organisation
-
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 in teaching, research and employability of our students. Computer Science increased excellence in all areas of research, moving 6 places up the ranking to the 20th position for REF 2021. It is ranked 10th in the Guardian University Guide 2024, and 4th for student employability in the Complete University Guide 2026.
View organisation
-
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 serve communications, industrial, automotive and healthcare markets where safety, security and reliability are critical.
View organisation
-
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 Foundation uses funds to develop features, employ software engineers, improve build and test infrastructure, advocate for FreeBSD through in-person and online events, and provide training and educational material. Representing the FreeBSD Project in legal affairs, the Foundation is the recognized entity for contracts, licenses, and other legal arrangements and is entirely donation supported.
View organisation
-
Google
Google’s mission is to organize the world’s information and make it universally accessible and useful.
View organisation
-
Hildebrand
We are a forward-thinking technology company dedicated to creating innovative solutions in the energy sector that transform how organisations operate and serve their communities.
View organisation
-
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 of engineering in Portugal (6000 students), with a strong diversity of subject areas. The Software Technologies for Cyber-Physical Systems (SoftCPS) Laboratory of ISEP team has been focusing on R&D activity on embedded and real-time computing systems, comprising more than 20 years of experience on R&D in the design of safe and secure embedded systems.
View organisation
-
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 together a broad range of study and research across its faculties and interdisciplinary institutes. With a strong focus on innovation, international collaboration, and close ties to industry, JKU offers an excellent environment for studying, teaching, and research—preparing graduates to shape the future in business, science, and society.
View organisation
-
King Abdullah University of Science and Technology (KAUST)
Details to follow.
View organisation
-
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-ranked university and is one of the oldest and most renowned universities in Europe.
View organisation
-
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 integrated services in FinTech, automotive, security, and AI applications, excelling in technical solutions and meeting diverse customer needs. LMTech develops custom chips, enhancing power efficiency, performance, and cost-effectiveness. Through innovative hardware-software integration, LMTech fuses software functionalities with hardware implementations, boosting system performance and stability, reducing power consumption, and enhancing overall system performance and security. The company aims to deliver innovative, efficient, and reliable solutions.
View organisation
-
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 collaborative engineering to develop and maintain open-source silicon designs and tools for the long term. The lowRISC not-for-profit structure combined with full-stack engineering capabilities in-house enables the hosting and management of high-quality projects like OpenTitan via the Silicon Commons approach.
View organisation
-
MISRA
Details to follow.
View organisation
-
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—often diving deep into hardware and operating systems—to uncover and address critical security vulnerabilities. We aim to translate academic innovations into practical impact by integrating deployable solutions into mainstream platforms, such as Linux. SSLab is led by Dr. Shih-Wei Li and is under the Department of Computer Science and Information Science at National Taiwan University.
View organisation
-
NCSC
UK National Cyber Security Centre
View organisation
-
Novomorphic
Details to follow.
View organisation
-
NquiringMinds
Secure AI Agents Our customers can develop, and deploy distributed AI agents, with high security assurances. NquiringMinds combine deep security expertise with AI development capabilities into a unique distributed platform.
View organisation
-
PA Consulting
PA Consulting is a global innovation and transformation consultancy that combines strategy, design, engineering, technology, and business expertise to help organisations solve complex challenges, develop new products and services, and deliver lasting change. Working across sectors including government, defence, healthcare, energy, and transport, the company focuses on turning ideas into practical, real-world impact.
View organisation
-
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 software development. We take great care to provide the best engineering solutions to fulfill our customers’ requirements. We are based in Bangalore, the high-tech capital of India, giving us access to the cream of technical talent, both in academia and industry. Strong links to the UK, through our sister company, Mission Critical Applications Limited, has opened up our interest in deploying CHERI in the Indian Market.
View organisation
-
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. As a place of top international research and an academic talent factory for business and science, we offer an excellent, well-connected environment for study and research.
View organisation
-
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-integrity computing, the organization has built a team of recognised industry leaders, with decades of leadership in security, processor IP and chip design, and high-integrity software. Through their ICENI device family the team is focused on development of high integrity microcontrollers based on the Microsoft CHERIoT Ibex core.
View organisation
-
Sensor IT
Details to follow.
View organisation
-
Siemens
Details to follow.
View organisation
-
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 an independent nonprofit research institute with a rich history of supporting government and industry. For almost 80 years, we have collaborated across technical and scientific disciplines to discover and develop groundbreaking products and technologies and bring innovations and ideas to the marketplace.
View organisation
-
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 nationally and globally recognised as a centre of excellence providing an innovative, inclusive learning environment that produces lifelong learners who are prepared for the global economy. The Faculty has strengths in engineering, computer science and mathematics. The Systems Security Group (SSG), part of the Department of Computer Science at FSE, is one of the leading groups researching on security assurance of cyber-physical systems and adoption of secure technology across a number of industrial sectors.
View organisation
-
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 develop the UK’s position as a global technology super-power. TechWorks operates beyond established silos by:
View organisation
-
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 organisation
-
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 organisation
-
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 and deployment of software and systems for which there is strong evidence of trustworthiness, including use of formal methods. Needs of the U.S. and allied defense, intelligence and security communities are our priorities. A major thrust is seL4®. While our colleagues at the separate seL4 Foundation focus on the code and formal proofs of the open source seL4® microkernel and closely related artifacts, the TCCoE focuses on curated software distributions (kernel, libraries, drivers, configurations, etc.) as bases of stable supported platforms on which to build trustworthy systems.
View organisation
-
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 video and Extended Reality. Our products are deployed with multiple national telecommunications providers, defence and government organisations.
View organisation
-
University of Birmingham
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 Research (REF’21) and 7th for Education (CUG’23), employing ~70 staff and teaching over 2000 students. Within the School of Computer Science, the Birmingham Centre for Cyber Security and Privacy is a world leading group in security and privacy. The group is recognised as an NCSC Academic Centre of Excellence in Cyber Security Research (ACE-CSR), and leads the NCSC-certified MSc programme in Cyber Security.
View organisation
-
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 broadened the collaboration to many industry and academic partners as this novel security technology is deployed.
View organisation
-
University of Edinburgh
Details to follow.
View organisation
-
University of Exeter
The
View organisation
-
University of Glasgow
A Russell Group university with a strong sense of civic mission.
View organisation
-
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 Computing is in the top 5 for research in their field nationally.
View organisation
-
VeriSilicon
VeriSilicon Holdings Co., Ltd. (VeriSilicon, 688521.SH) is committed to providing customers with platform-based, all-around, one-stop custom silicon services and semiconductor IP licensing services leveraging its in-house semiconductor IP. Under its unique “Silicon Platform as a Service” (SiPaaS) business model, VeriSilicon serves a broad range of market segments, including consumer electronics, automotive electronics, computer and peripheral, industry, data processing, Internet of Things (IoT), among others. Its main customers include fabless, IDM, system vendors (OEM/ODM), large internet companies, and cloud service providers.
View organisation
-
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 billions of devices and systems that require the highest levels of security, safety, and reliability. Wind River software and expertise are accelerating digital transformation across industries including automotive, aerospace, defense, industrial, medical, and telecommunications. The company offers a comprehensive portfolio supported by world-class global professional services and support and a broad partner ecosystem. To learn more, visit Wind River at
View organisation
-
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.
View organisation
-
ZAYA
We offer security solutions and containerisation for microcontrollers and embedded systems, addressing specific security needs for small and compact devices in markets such as IoT, Secure Elements, and Automotive. Positioned at the cutting edge of IoT device security, ZAYA is the most secure and lightweight operating system on the market. Adopting a unique modular approach, it redefines security standards. From secure isolation and encrypted communications to containerised applications and services, ZAYA provides unmatched security against potential threats, ensuring the integrity of your IoT ecosystem.
View organisation