Secure Memory by Language

Design or leverage language features to secure a system.

Example:

  • Cyclone
  • CCured
  • nesC
  • CheckedC

Reference 1

  • CCured

    • Reference 1 CCured: Type-Safe Retrofitting of Legacy Software. ACM Transactions on PL and Systems. 2005. ↩

  • nesC

    • Reference 1 reference ↩

  1. reference ↩
Created Oct 12, 2019 // Last Updated May 18, 2021

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

... what would you change?