History
Cambridge and SRI
The modern CHERI project was established through collaboration between the University of Cambridge and SRI International.
Why it matters
That co-design explains why CHERI is accompanied by software and evidence, not only an instruction-set proposal.
In brief
The modern CHERI project was established through collaboration between the University of Cambridge and SRI International. The work combined processor architecture, operating systems, compilers, applications, formal semantics and hardware prototypes rather than treating memory protection as an isolated feature.
Cambridge and SRI helped connect capability-system ideas with a modern processor and software stack. For readers tracing intellectual history, the strongest sources are dated technical reports, architecture versions, implementation repositories and peer-reviewed papers that show what changed at each stage.
Key considerations
1. Research question
Revisit capability-system ideas for contemporary RISC processors and widely used C/C++ software.
2. Co-design
Evolve architecture, microarchitecture, compiler, OS and formal models together.
3. Open evidence
Publish specifications, papers, software and prototype implementations for scrutiny and reuse.
Evidence and caveats
Credit and programme details vary across outputs; use the primary project publications for precise authorship, dates and funding.
Use dated primary project, funder and provider records. Separate what was planned, demonstrated and subsequently delivered.