@article{georges-2024-cerise, title={Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code}, volume={71}, ISSN={1557-735X}, url={http://dx.doi.org/10.1145/3623510}, DOI={10.1145/3623510}, number={1}, journal={Journal of the ACM}, publisher={Association for Computing Machinery (ACM)}, author={Georges, Aïna Linn and Guéneau, Armaël and Van Strydonck, Thomas and Timany, Amin and Trieu, Alix and Devriese, Dominique and Birkedal, Lars}, year={2024}, month=Feb, pages={1–59} }