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

Coq formalization for "When Good Components Go Bad" paper

https://arxiv.org/abs/1802.00588

Geek Repo

Github PK Tool