Catalin Hritcu and Andrew Tolmach are qualified to endorse.
A Verified Information-Flow Architecture
| Catalin Hritcu: | Is registered as an author of this paper. Can endorse for cs.CR, cs.PL. (why?) |
| Andrew Tolmach: | Is registered as an author of this paper. Can endorse for cs.CR, cs.PL. (why?) |
Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, David Pichardie, Benjamin C. Pierce and Randy Pollack are not registered as owners of this paper. (why?)