@article{DBLP:journals/jcs/AmorimCDDHPPPT16,
 author = {Arthur Azevedo de Amorim and
Nathan Collins and
André DeHon and
Delphine Demange and
Catalin Hritcu and
David Pichardie and
Benjamin C. Pierce and
Randy Pollack and
Andrew Tolmach},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jcs/AmorimCDDHPPPT16.bib},
 doi = {10.3233/JCS-15784},
 journal = {J. Comput. Secur.},
 number = {6},
 pages = {689--734},
 timestamp = {Thu, 01 May 2025 01:00:00 +0200},
 title = {A verified information-flow architecture},
 url = {https://doi.org/10.3233/JCS-15784},
 volume = {24},
 year = {2016}
}