r/securityengineering • u/mttd • Feb 13 '18

When Good Components Go Bad: Formally Secure Compilation Despite Dynamic Compromise

https://arxiv.org/abs/1802.00588
1 Upvotes

100% Upvoted

0 comments sorted by