At long last, the successor to Cornucopia: Temporal Safety for CHERI Heaps (2020) is published and not just slideware.

The paper is available locally.

The implementation, with several fixes, has been merged into the 2023.11 CheriBSD Release.


  title   = {{Cornucopia Reloaded: Load Barriers for CHERI Heap Temporal
  author  = {Nathaniel Wesley Filardo and Brett F. Gutstein and Jonathan
            Woodruff and Jessica Clarke and Peter Rugg and Brooks Davis and
            Mark Johnston and Robert Norton and David Chisnall and Simon W.
            Moore and Peter G. Neumann and Robert N. M. Watson},
  doi     = {10.1145/3620665.3640416},
  booktitle={Proceedings of the 29th ACM International Conference on
            Architectural Support for Programming Languages and Operating
            Systems (ASPLOS’24)},
  year    = {2024},
  month   = {April}