David Wittenberg

Learn More
—Hardware interlocks that enforce semantic in-variants and allow fine-grained privilege separation can be built with reasonable costs given modern semiconductor technology. In the common error-free case, these mechanisms operate largely in parallel with the intended computation, monitoring the semantic intent of the computation on an operation-by-operation(More)
  • 1