The CHERI ISA does not provide temporal safety features but it allows building temporal safety mechanisms in software. CheriBSD 23.11 includes user-space heap t

The CHERI ISA does not provide temporal safety features but it allows building temporal safety mechanisms in software. CheriBSD 23.11 includes user-space heap temporal memory safety that is enabled by default [0]. The paper "Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal Safety" at ASPLOS 2024 will describe the current implementation [1]. For embedded systems, the CHERIoT [2] platform implements hardware-assisted temporal memory safety without MMU. [0] https://ctsrd-cheri.github.io/cheribsd-getting-started/features/temporal.html https://ctsrd-cheri.github.io/cheribsd-getting-started/featu... [1] https://www.asplos-conference.org/asplos2024/main-program/abstracts/#5C https://www.asplos-conference.org/asplos2024/main-program/ab... [2] https://cheriot.org/papers/2023-micro-cheriot-uarch.pdf https://cheriot.org/papers/2023-micro-cheriot-uarch.pdf