Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour
dl.acm.org
69 points
rbanffy
2 years ago
18 comments
Loading...
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour | Heykuki News