GitHub repository: secure-compilation/when-good-components-go-bad
Primary language: Coq
Created: 2018-02-02T06:49:08Z
Description: Coq formalization for "When Good Components Go Bad" paper