@inproceedings{chakarov-2025-formally, title={Formally Verified Cloud-Scale Authorization}, url={http://dx.doi.org/10.1109/icse55347.2025.00166}, DOI={10.1109/icse55347.2025.00166}, booktitle={2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)}, publisher={IEEE}, author={Chakarov, Aleks and Geldenhuys, Jaco and Heck, Matthew and Hicks, Michael and Huang, Sam and Jaloyan, Georges-Axel and Joshi, Anjali and Leino, K. Rustan M. and Mayer, Mikael and McLaughlin, Sean and Mritunjai, Akhilesh and Pit-Claudel, Clement and Porncharoenwase, Sorawee and Rabe, Florian and Rapoport, Marianna and Reger, Giles and Roux, Cody and Rungta, Neha and Salkeld, Robin and Schlaipfer, Matthias and Schoepe, Daniel and Schwartzentruber, Johanna and Tasiran, Serdar and Tomb, Aaron and Torlak, Emina and Tristan, Jean-Baptiste and Wagner, Lucas and Whalen, Michael W. and Willems, Remy and Xiang, Tongtong and Byun, Tae Joon and Cohen, Joshua and Fang, Ruijie and Jang, Junyoung and Rath, Jakob and Syeda, Hira Taqdees and Wagner, Dominik and Yuan, Yongwei}, year={2025}, month=Apr, pages={2508–2521} }