Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
abecedarius
on Dec 26, 2017
|
parent
|
context
|
favorite
| on:
DARPA's “Unhackable” Computer
https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/cheri...
sounds promising.
deepnotderp
on Dec 26, 2017
[–]
Unfortunately, given the industry reliance upon standard C, I doubt capability machines will ever catch on.
nickpsecurity
on Dec 26, 2017
|
parent
[–]
CHERI a capability machine designed for C programs that runs FreeBSD.
deepnotderp
on Dec 26, 2017
|
root
|
parent
[–]
My point is more that it requires modifications to existing C code to use the full capabilities (no pun intended) of a capability machine.
fao_
on Dec 27, 2017
|
root
|
parent
[–]
I wonder if this could be done with an alternate stdlib. Editing the usual e.g. heap management functions et al. so it does stuff behind the scenes.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: