2019 Arm Os

Reference 1

  1. Scalable Translation Validation of Unverified Legacy OS Code. FMCAD, 2019. ↩
Created Oct 30, 2019 // Last Updated May 6, 2020

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?