Hacker News new | ask | show | jobs
by Peter_Sewell 789 days ago
There's increasingly mature work on CHERI temporal memory safety, eg https://www.cl.cam.ac.uk/research/security/ctsrd/pdfs/2020oa... and more recent versions.