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