CISPA
Browse
cispa_all_3241.pdf (632.32 kB)

A Spectral Analysis of Noise:A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols

Download (632.32 kB)
conference contribution
posted on 2023-11-29, 18:14 authored by Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas CremersCas Cremers, David Basin
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

History

Preferred Citation

Guillaume Girol, Lucca Hirschi, Ralf Sasse, Dennis Jackson, Cas Cremers and David Basin. A Spectral Analysis of Noise:A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols. In: Usenix Security Symposium (USENIX-Security). 2020.

Primary Research Area

  • Algorithmic Foundations and Cryptography

Name of Conference

Usenix Security Symposium (USENIX-Security)

Legacy Posted Date

2020-10-08

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3241, title = "A Spectral Analysis of Noise:A Comprehensive, Automated, Formal Analysis of Diffie-Hellman Protocols", author = "Girol, Guillaume and Hirschi, Lucca and Sasse, Ralf and Jackson, Dennis and Cremers, Cas and Basin, David", booktitle="{Usenix Security Symposium (USENIX-Security)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC