Skip to content

pranayga/cheri-exercises

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Adversarial CHERI Exercises and Missions

Robert N. M. Watson (University of Cambridge), Brooks Davis (SRI International), Wes Filardo (Microsoft Research), Jessica Clarke (University of Cambridge) and John Baldwin (Ararat River Consulting).

This repository contains a series of skills development and adversarial exercises for CHERI, specifically aimed at the CHERI-RISC-V implementation.

Acknowledgements

The authors gratefully acknowledge Reuben Broadfoot, Lawrence Esswood, Brett Gutstein, Joe Kiniry, Alex Richardson, Austin Roach, and Daniel Zimmerman for their feedback and support in developing these exercises.

Some portions of this document remain a work-in-progress. Feedback and contributions are welcomed. Please see our GitHub Repository for the source code and an issue tracker.

Building

Building the book from the Markdown sources requires mdBook. Once installed, mdbook build will build the static HTML files in the book/ directory, whilst mdbook serve will build and serve them at http:https://localhost:3000. Please refer to the mdBook documentation for futher options.

Packages

No packages published

Languages

  • C 86.7%
  • Shell 8.2%
  • C++ 5.1%