Where we stand (lang/compiler)

• Memory safety is a done deal

• Software enforcement is good

• TCB is getting smaller

• BUT

  • liveness properties
  • global security properties
  • environment

Previous slide

Next slide

Back to first slide

View graphic version