tagged-architectures

There are 0 repository under tagged-architectures topic.

• secure-compilation / when-good-components-go-bad

  Coq formalization for "When Good Components Go Bad" paper

  coqsecure-compilationcompartmentalizationundefined-behaviortagged-architecturessoftware-fault-isolation
  Language:Coq 7