Formally Verified Cloud-Scale Authorization.
Saved in:
| 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 |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: aci DbLabel: Applied Science & Technology Source An: 194043557 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Formally Verified Cloud-Scale Authorization. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AU" term="%22Chakarov%2C+Aleks%22">Chakarov, Aleks</searchLink><relatesTo>1</relatesTo>, <i>aleksach@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Geldenhuys%2C+Jaco%22">Geldenhuys, Jaco</searchLink><relatesTo>1</relatesTo>, <i>jgeldenh@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Heck%2C+Matthew%22">Heck, Matthew</searchLink><relatesTo>1</relatesTo>, <i>mcheck@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Hicks%2C+Michael%22">Hicks, Michael</searchLink><relatesTo>1</relatesTo>, <i>mwhicks@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Huang%2C+Sam%22">Huang, Sam</searchLink><relatesTo>1</relatesTo>, <i>srhuang@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Jaloyan%2C+Georges-Axel%22">Jaloyan, Georges-Axel</searchLink><relatesTo>1</relatesTo>, <i>gjaloyan@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Joshi%2C+Anjali%22">Joshi, Anjali</searchLink><relatesTo>1</relatesTo>, <i>anjalijs@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Leino%2C+K%2E+Rustan+M%2E%22">Leino, K. Rustan M.</searchLink><relatesTo>1</relatesTo>, <i>leino@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Mayer%2C+Mikael%22">Mayer, Mikael</searchLink><relatesTo>1</relatesTo>, <i>mimayere@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22McLaughlin%2C+Sean%22">McLaughlin, Sean</searchLink><relatesTo>1</relatesTo>, <i>seanmcl@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Mritunjai%2C+Akhilesh%22">Mritunjai, Akhilesh</searchLink><relatesTo>1</relatesTo>, <i>amritun@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Pit-Claudel%2C+Clement%22">Pit-Claudel, Clement</searchLink><relatesTo>1</relatesTo>, <i>pitclauc@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Porncharoenwase%2C+Sorawee%22">Porncharoenwase, Sorawee</searchLink><relatesTo>1</relatesTo>, <i>soraweep@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Rabe%2C+Florian%22">Rabe, Florian</searchLink><relatesTo>1</relatesTo>, <i>florrabe@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Rapoport%2C+Marianna%22">Rapoport, Marianna</searchLink><relatesTo>1</relatesTo>, <i>rapopor@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Reger%2C+Giles%22">Reger, Giles</searchLink><relatesTo>1</relatesTo>, <i>reggiles@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Roux%2C+Cody%22">Roux, Cody</searchLink><relatesTo>1</relatesTo>, <i>codyroux@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Rungta%2C+Neha%22">Rungta, Neha</searchLink><relatesTo>1</relatesTo>, <i>rungta@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Salkeld%2C+Robin%22">Salkeld, Robin</searchLink><relatesTo>1</relatesTo>, <i>salkeldr@amazon.ch</i><br /><searchLink fieldCode="AU" term="%22Schlaipfer%2C+Matthias%22">Schlaipfer, Matthias</searchLink><relatesTo>1</relatesTo>, <i>schlaipf@amazon.ch</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22ICSE%3A+International+Conference+on+Software+Engineering%22">ICSE: International Conference on Software Engineering</searchLink>; 2025, p2656-2669, 14p |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=aci&AN=194043557 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 14 StartPage: 2656 Titles: – TitleFull: Formally Verified Cloud-Scale Authorization. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Chakarov, Aleks – PersonEntity: Name: NameFull: Geldenhuys, Jaco – PersonEntity: Name: NameFull: Heck, Matthew – PersonEntity: Name: NameFull: Hicks, Michael – PersonEntity: Name: NameFull: Huang, Sam – PersonEntity: Name: NameFull: Jaloyan, Georges-Axel – PersonEntity: Name: NameFull: Joshi, Anjali – PersonEntity: Name: NameFull: Leino, K. Rustan M. – PersonEntity: Name: NameFull: Mayer, Mikael – PersonEntity: Name: NameFull: McLaughlin, Sean – PersonEntity: Name: NameFull: Mritunjai, Akhilesh – PersonEntity: Name: NameFull: Pit-Claudel, Clement – PersonEntity: Name: NameFull: Porncharoenwase, Sorawee – PersonEntity: Name: NameFull: Rabe, Florian – PersonEntity: Name: NameFull: Rapoport, Marianna – PersonEntity: Name: NameFull: Reger, Giles – PersonEntity: Name: NameFull: Roux, Cody – PersonEntity: Name: NameFull: Rungta, Neha – PersonEntity: Name: NameFull: Salkeld, Robin – PersonEntity: Name: NameFull: Schlaipfer, Matthias IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Text: 2025 Type: published Y: 2025 Titles: – TitleFull: ICSE: International Conference on Software Engineering Type: main |
| ResultId | 1 |
