Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982419180> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2982419180 startingPage "1042" @default.
- W2982419180 abstract "We present a machine-checked proof of security for the domain management protocol of Amazon Web Services' KMS (Key Management Service) a critical security service used throughout AWS and by AWS customers. Domain management is at the core of AWS KMS; it governs the top-level keys that anchor the security of encryption services at AWS. We show that the protocol securely implements an ideal distributed encryption mechanism under standard cryptographic assumptions. The proof is machine-checked in the EasyCrypt proof assistant and is the largest EasyCrypt development to date." @default.
- W2982419180 created "2019-11-08" @default.
- W2982419180 creator A5021548814 @default.
- W2982419180 creator A5026009456 @default.
- W2982419180 creator A5033372576 @default.
- W2982419180 creator A5033447950 @default.
- W2982419180 creator A5036882148 @default.
- W2982419180 creator A5058256607 @default.
- W2982419180 creator A5065970435 @default.
- W2982419180 creator A5075577852 @default.
- W2982419180 creator A5087283928 @default.
- W2982419180 creator A5091601759 @default.
- W2982419180 date "2019-01-01" @default.
- W2982419180 modified "2023-09-22" @default.
- W2982419180 title "A Machine-Checked Proof of Security for AWS Key Management Service." @default.
- W2982419180 hasPublicationYear "2019" @default.
- W2982419180 type Work @default.
- W2982419180 sameAs 2982419180 @default.
- W2982419180 citedByCount "0" @default.
- W2982419180 crossrefType "posted-content" @default.
- W2982419180 hasAuthorship W2982419180A5021548814 @default.
- W2982419180 hasAuthorship W2982419180A5026009456 @default.
- W2982419180 hasAuthorship W2982419180A5033372576 @default.
- W2982419180 hasAuthorship W2982419180A5033447950 @default.
- W2982419180 hasAuthorship W2982419180A5036882148 @default.
- W2982419180 hasAuthorship W2982419180A5058256607 @default.
- W2982419180 hasAuthorship W2982419180A5065970435 @default.
- W2982419180 hasAuthorship W2982419180A5075577852 @default.
- W2982419180 hasAuthorship W2982419180A5087283928 @default.
- W2982419180 hasAuthorship W2982419180A5091601759 @default.
- W2982419180 hasConcept C111919701 @default.
- W2982419180 hasConcept C124978682 @default.
- W2982419180 hasConcept C134306372 @default.
- W2982419180 hasConcept C142724271 @default.
- W2982419180 hasConcept C148730421 @default.
- W2982419180 hasConcept C178489894 @default.
- W2982419180 hasConcept C17886624 @default.
- W2982419180 hasConcept C204787440 @default.
- W2982419180 hasConcept C26517878 @default.
- W2982419180 hasConcept C2780385302 @default.
- W2982419180 hasConcept C33884865 @default.
- W2982419180 hasConcept C33923547 @default.
- W2982419180 hasConcept C36503486 @default.
- W2982419180 hasConcept C38652104 @default.
- W2982419180 hasConcept C41008148 @default.
- W2982419180 hasConcept C71924100 @default.
- W2982419180 hasConceptScore W2982419180C111919701 @default.
- W2982419180 hasConceptScore W2982419180C124978682 @default.
- W2982419180 hasConceptScore W2982419180C134306372 @default.
- W2982419180 hasConceptScore W2982419180C142724271 @default.
- W2982419180 hasConceptScore W2982419180C148730421 @default.
- W2982419180 hasConceptScore W2982419180C178489894 @default.
- W2982419180 hasConceptScore W2982419180C17886624 @default.
- W2982419180 hasConceptScore W2982419180C204787440 @default.
- W2982419180 hasConceptScore W2982419180C26517878 @default.
- W2982419180 hasConceptScore W2982419180C2780385302 @default.
- W2982419180 hasConceptScore W2982419180C33884865 @default.
- W2982419180 hasConceptScore W2982419180C33923547 @default.
- W2982419180 hasConceptScore W2982419180C36503486 @default.
- W2982419180 hasConceptScore W2982419180C38652104 @default.
- W2982419180 hasConceptScore W2982419180C41008148 @default.
- W2982419180 hasConceptScore W2982419180C71924100 @default.
- W2982419180 hasLocation W29824191801 @default.
- W2982419180 hasOpenAccess W2982419180 @default.
- W2982419180 hasPrimaryLocation W29824191801 @default.
- W2982419180 hasRelatedWork W115229022 @default.
- W2982419180 hasRelatedWork W1489363336 @default.
- W2982419180 hasRelatedWork W1514555034 @default.
- W2982419180 hasRelatedWork W1975866833 @default.
- W2982419180 hasRelatedWork W1984030306 @default.
- W2982419180 hasRelatedWork W2142661540 @default.
- W2982419180 hasRelatedWork W2275841760 @default.
- W2982419180 hasRelatedWork W2347433174 @default.
- W2982419180 hasRelatedWork W2355327479 @default.
- W2982419180 hasRelatedWork W2359447788 @default.
- W2982419180 hasRelatedWork W2360870567 @default.
- W2982419180 hasRelatedWork W2361971899 @default.
- W2982419180 hasRelatedWork W2367642359 @default.
- W2982419180 hasRelatedWork W2376139163 @default.
- W2982419180 hasRelatedWork W2381397503 @default.
- W2982419180 hasRelatedWork W2388522440 @default.
- W2982419180 hasRelatedWork W2767141303 @default.
- W2982419180 hasRelatedWork W32935074 @default.
- W2982419180 hasRelatedWork W91089226 @default.
- W2982419180 hasRelatedWork W2091380648 @default.
- W2982419180 hasVolume "2019" @default.
- W2982419180 isParatext "false" @default.
- W2982419180 isRetracted "false" @default.
- W2982419180 magId "2982419180" @default.
- W2982419180 workType "article" @default.