@inproceedings{DBLP:conf/popl/AmorimCDDHPPPT14,
 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/conf/popl/AmorimCDDHPPPT14.bib},
 booktitle = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of
Programming Languages, POPL '14, San Diego, CA, USA, January 20-21,
2014},
 doi = {10.1145/2535838.2535839},
 editor = {Suresh Jagannathan and
Peter Sewell},
 pages = {165--178},
 publisher = {ACM},
 timestamp = {Tue, 14 Oct 2025 19:38:48 +0200},
 title = {A verified information-flow architecture},
 url = {https://doi.org/10.1145/2535838.2535839},
 year = {2014}
}