An I O Separation Model for Formal Verification of Kernel Implementations

Save
2 years ago
1

IEEE Security and Privacy 2021 Hacking conference
#hacking, #hackers, #infosec, #opsec, #IT, #security

Loading comments...