Lancern's Treasure Chest
13:58 · Apr 19, 2024 · Fri
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour
https://dl.acm.org/doi/10.1145/3617232.3624859?ai=&ui=&af=
ACM Conferences
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance | Proceedings of the 29th ACM International…
Home
Powered by
BroadcastChannel
&
Sepia