Post #3987812
2026-07-21 08:42 UTC
from my link log —
Rust for Morello ARM CHERI: always-on memory safety, even in unsafe code.
https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.39/LIPIcs.ECOOP.2023.39.pdf
saved 2026-07-21 https://dotat.at/:/9MIM0.html
Replies (1)
-
@david_chisnall@infosec.exchange 2026-07-21 14:45
@fanf@mendeddrum.org Follow-on work is ongoing, focused on #CHERIoT.