CHERI is a great team doing a capability-secure CPU and compilet for C code and OS’s. They already ported FreeBSD to it. Here’s the main site.
http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
CHERI is a great team doing a capability-secure CPU and compilet for C code and OS’s. They already ported FreeBSD to it. Here’s the main site.
http://www.cl.cam.ac.uk/research/security/ctsrd/cheri/