ASPLOS'24 - Lightning Talks - Session 4D - Formal Mechanised Semantics of CHERI C: Capabilities, Und

71 views

ACM SIGARCH

1 year ago

ASPLOS'24 - Lightning Talks - Session 4D - Formal Mechanised Semantics of CHERI C: Capabilities, Und

ASPLOS'24 - Lightning Talks - Session 4D - Formal Mechanised Semantics of CHERI C: Capabilities, Und