Aleks Chakarov, Jaco Geldenhuys, Matthew Heck, Michael Hicks 0001, Sam Huang, Georges-Axel Jaloyan, Anjali Joshi, K. Rustan M. Leino, Mikael Mayer, Sean McLaughlin, Akhilesh Mritunjai, Clément Pit-Claudel, Sorawee Porncharoenwase, Florian Rabe 0001, Marianna Rapoport, Giles Reger, Cody Roux, Neha Rungta, Robin Salkeld, Matthias Schlaipfer, Daniel Schoepe, Johanna Schwartzentruber, Serdar Tasiran, Aaron Tomb, Emina Torlak, Jean-Baptiste Tristan, Lucas G. Wagner, Michael W. Whalen, Remy Willems, Tongtong Xiang, Tae Joon Byun, Joshua M. Cohen, Ruijie Fang, Junyoung Jang 0001, Jakob Rath, Hira Taqdees Syeda, Dominik Wagner 0001, Yongwei Yuan
Software Engineering Empirical Research Radar
Formally Verified Cloud-Scale Authorization.
Paper detail page in SEER Radar.
ICSE 2025
Program Analysis / Verification / Formal Methods; Cloud / Microservices / Distributed Systems
Abstract / Summary
Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.
External Links
Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.