@article{rousseau-2026-cerisier, title={Cerisier: A Program Logic for Attestation in a Capability Machine}, volume={10}, ISSN={2475-1421}, url={http://dx.doi.org/10.1145/3808287}, DOI={10.1145/3808287}, number={PLDI}, journal={Proceedings of the ACM on Programming Languages}, publisher={Association for Computing Machinery (ACM)}, author={Rousseau, June and Carnier, Denis and Van Strydonck, Thomas and Keuchel, Steven and Devriese, Dominique and Birkedal, Lars}, year={2026}, month=June, pages={1004–1028} }