@inproceedings{DBLP:conf/cpp/ChhakTA21,
 author = {Chris Chhak and
Andrew Tolmach and
Sean Noble Anderson},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/cpp/ChhakTA21.bib},
 booktitle = {CPP '21: 10th ACM SIGPLAN International Conference on Certified
Programs and Proofs, Virtual Event, Denmark, January 17-19, 2021},
 doi = {10.1145/3437992.3439929},
 editor = {Catalin Hritcu and
Andrei Popescu},
 pages = {137--151},
 publisher = {ACM},
 timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
 title = {Towards formally verified compilation of tag-based policy enforcement},
 url = {https://doi.org/10.1145/3437992.3439929},
 year = {2021}
}