Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
pdf
Submitted by Jason Gigax
on
pdf
Submitted by Jason Gigax
on