DMCA

Slayer: Memory safety for systems-level code

by Josh Berdine , Byron Cook , Samin Ishtiaq
Venue:In CAV
Citations:26 - 3 self