Formally Verified Cloud-Scale Authorization.

Saved in:
Bibliographic Details
Title: Formally Verified Cloud-Scale Authorization.
Authors: Chakarov, Aleks1, aleksach@amazon.ch, Geldenhuys, Jaco1, jgeldenh@amazon.ch, Heck, Matthew1, mcheck@amazon.ch, Hicks, Michael1, mwhicks@amazon.ch, Huang, Sam1, srhuang@amazon.ch, Jaloyan, Georges-Axel1, gjaloyan@amazon.ch, Joshi, Anjali1, anjalijs@amazon.ch, Leino, K. Rustan M.1, leino@amazon.ch, Mayer, Mikael1, mimayere@amazon.ch, McLaughlin, Sean1, seanmcl@amazon.ch, Mritunjai, Akhilesh1, amritun@amazon.ch, Pit-Claudel, Clement1, pitclauc@amazon.ch, Porncharoenwase, Sorawee1, soraweep@amazon.ch, Rabe, Florian1, florrabe@amazon.ch, Rapoport, Marianna1, rapopor@amazon.ch, Reger, Giles1, reggiles@amazon.ch, Roux, Cody1, codyroux@amazon.ch, Rungta, Neha1, rungta@amazon.ch, Salkeld, Robin1, salkeldr@amazon.ch, Schlaipfer, Matthias1, schlaipf@amazon.ch
Source: ICSE: International Conference on Software Engineering; 2025, p2656-2669, 14p
Database: Applied Science & Technology Source
Description
Description not available.