Matches in SemOpenAlex for { <https://semopenalex.org/work/W3020872719> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W3020872719 abstract "The Noise specification describes how to systematically construct a large family of Diffie-Hellman based key exchange protocols, including the secure transports used by WhatsApp, Lightning, and WireGuard. As the specification only makes informal security claims, earlier work has explored which formal security properties may be enjoyed by protocols in the Noise framework, yet many important questions remain open. In this work we provide the most comprehensive, systematic analysis of the Noise framework to date. We start from first principles and, using an automated analysis tool, compute the strongest threat model under which a protocol is secure, thus enabling formal comparison between protocols. Our results allow us to objectively and automatically associate each informal security level presented in the Noise specification with a formal security claim. We also provide a fine-grained separation of Noise protocols that were previously described as offering similar security properties, revealing a subclass for which alternative Noise protocols exist that offer strictly better security guarantees. Our analysis also uncovers missing assumptions in the Noise specification and some surprising consequences, e.g., in some situations higher security levels yield strictly worse security." @default.
- W3020872719 created "2020-05-13" @default.
- W3020872719 creator A5001691639 @default.
- W3020872719 creator A5025344654 @default.
- W3020872719 creator A5052556643 @default.
- W3020872719 creator A5054383139 @default.
- W3020872719 creator A5059160317 @default.
- W3020872719 creator A5089250692 @default.
- W3020872719 date "2020-08-12" @default.
- W3020872719 modified "2023-10-16" @default.
- W3020872719 title "A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols" @default.
- W3020872719 cites W1979418580 @default.
- W3020872719 cites W2002789557 @default.
- W3020872719 cites W2029693536 @default.
- W3020872719 cites W2167816957 @default.
- W3020872719 cites W2544274814 @default.
- W3020872719 cites W2612102454 @default.
- W3020872719 cites W2741014554 @default.
- W3020872719 cites W2794597218 @default.
- W3020872719 cites W2944196217 @default.
- W3020872719 cites W2946869648 @default.
- W3020872719 cites W3006215191 @default.
- W3020872719 cites W3159794744 @default.
- W3020872719 hasPublicationYear "2020" @default.
- W3020872719 type Work @default.
- W3020872719 sameAs 3020872719 @default.
- W3020872719 citedByCount "1" @default.
- W3020872719 countsByYear W30208727192020 @default.
- W3020872719 crossrefType "proceedings-article" @default.
- W3020872719 hasAuthorship W3020872719A5001691639 @default.
- W3020872719 hasAuthorship W3020872719A5025344654 @default.
- W3020872719 hasAuthorship W3020872719A5052556643 @default.
- W3020872719 hasAuthorship W3020872719A5054383139 @default.
- W3020872719 hasAuthorship W3020872719A5059160317 @default.
- W3020872719 hasAuthorship W3020872719A5089250692 @default.
- W3020872719 hasBestOaLocation W30208727191 @default.
- W3020872719 hasConcept C115961682 @default.
- W3020872719 hasConcept C121332964 @default.
- W3020872719 hasConcept C148730421 @default.
- W3020872719 hasConcept C154945302 @default.
- W3020872719 hasConcept C203062551 @default.
- W3020872719 hasConcept C29524669 @default.
- W3020872719 hasConcept C2983668108 @default.
- W3020872719 hasConcept C32891209 @default.
- W3020872719 hasConcept C38652104 @default.
- W3020872719 hasConcept C41008148 @default.
- W3020872719 hasConcept C62520636 @default.
- W3020872719 hasConcept C99498987 @default.
- W3020872719 hasConcept C99674996 @default.
- W3020872719 hasConceptScore W3020872719C115961682 @default.
- W3020872719 hasConceptScore W3020872719C121332964 @default.
- W3020872719 hasConceptScore W3020872719C148730421 @default.
- W3020872719 hasConceptScore W3020872719C154945302 @default.
- W3020872719 hasConceptScore W3020872719C203062551 @default.
- W3020872719 hasConceptScore W3020872719C29524669 @default.
- W3020872719 hasConceptScore W3020872719C2983668108 @default.
- W3020872719 hasConceptScore W3020872719C32891209 @default.
- W3020872719 hasConceptScore W3020872719C38652104 @default.
- W3020872719 hasConceptScore W3020872719C41008148 @default.
- W3020872719 hasConceptScore W3020872719C62520636 @default.
- W3020872719 hasConceptScore W3020872719C99498987 @default.
- W3020872719 hasConceptScore W3020872719C99674996 @default.
- W3020872719 hasLocation W30208727191 @default.
- W3020872719 hasLocation W30208727192 @default.
- W3020872719 hasLocation W30208727193 @default.
- W3020872719 hasLocation W30208727194 @default.
- W3020872719 hasOpenAccess W3020872719 @default.
- W3020872719 hasPrimaryLocation W30208727191 @default.
- W3020872719 hasRelatedWork W1596801655 @default.
- W3020872719 hasRelatedWork W2130043461 @default.
- W3020872719 hasRelatedWork W2350741829 @default.
- W3020872719 hasRelatedWork W2358668433 @default.
- W3020872719 hasRelatedWork W2376932109 @default.
- W3020872719 hasRelatedWork W2382290278 @default.
- W3020872719 hasRelatedWork W2390279801 @default.
- W3020872719 hasRelatedWork W2748952813 @default.
- W3020872719 hasRelatedWork W2899084033 @default.
- W3020872719 hasRelatedWork W2530322880 @default.
- W3020872719 isParatext "false" @default.
- W3020872719 isRetracted "false" @default.
- W3020872719 magId "3020872719" @default.
- W3020872719 workType "article" @default.