software-fault-isolation

There are 0 repository under software-fault-isolation 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