CSpec

Reference 1

201901 note.

  1. Verifying concurrent software using movers in CSPEC. OSDI, 2018. ↩
Created Jan 10, 2020 // Last Updated Jul 15, 2020

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

... what would you change?