1. 2
  1.  

  2. 1

    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/