CCured

Reference 1

  1. CCured: Type-Safe Retrofitting of Legacy Software. ACM Transactions on PL and Systems. 2005. ↩
Created Oct 12, 2019 // Last Updated Oct 12, 2019

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

... what would you change?