Popular repositories Loading

1. ScratchFolder ScratchFolder Public

   Scratch folder for rough drafts

   C

2. docs docs Public

   Forked from capablevms/docs

   Documentation

   TeX

3. CheriAdversarialExercisesAndMissions CheriAdversarialExercisesAndMissions Public

   My answers to the CHERI adversarial exercises and missions.

   C

4. hybrid-ddc_seal_mashups hybrid-ddc_seal_mashups Public

   Rough drafts of mashups of the hybrid ddc examples and the seal example.

   C

5. reviewer reviewer Public

   Rough draft of some code to show how CHERI can help to prevent a user from exercising write privileges they shouldn't have.

   C

6. review review Public

   An example to be added to the cheri-examples repository. In a CHERI environment, the code uses capabilities to enforce read-only permissions on a struct. In a non-CHERI environment, the code overfl…

   C