notes-computer-programming-programmingLanguageDesign-cheri thoughts
see [[Self:proj-plbook-plChSecurityLangs]] for my notes on CHERI. ---- my questions on the above: 1) . . .
20K - last updated 2016-08-13 00:14 UTC by BayleShanks
proj-plbook-plChSecurityLangs
= CHERI = http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ current spec: http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-891.pdf . . .
55K - last updated 2016-08-13 10:40 UTC by BayleShanks
2 pages found.