3 ms·
You could hope for hardware support for security using a CHERI ISA [1]. You could also try proving your programs correct using something like Frama-C, or do it
by trealira 3y ago
You could hope for hardware support for security using a CHERI ISA [1]. You could also try proving your programs correct using something like Frama-C, or do it by hand like Dijkstra did.
[1]: https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/ https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/
- gavinhoward 3y agoI would, but my programs use structured concurrency; I don't know how well Frama-C would help. If someone paid me to, I'd do it in a heartbeat. For CHERI, I want my software to be safe on unsafe platforms. I am building a memory-safe language that I will rewrite my software in.