Paper 2019/956

Security of Hedged Fiat-Shamir Signatures under Fault Attacks

Diego F. Aranha, Claudio Orlandi, Akira Takahashi, and Greg Zaverucha

Abstract

Deterministic generation of per-signature randomness has been a widely accepted solution to mitigate the catastrophic risk of randomness failure in Fiat--Shamir type signature schemes. However, recent studies have practically demonstrated that such de-randomized schemes, including EdDSA, are vulnerable to differential fault attacks, which enable adversaries to recover the entire secret signing key, by artificially provoking randomness reuse or corrupting computation in other ways. In order to balance concerns of both randomness failures and the threat of fault injection, some signature designs are advocating a ``hedged'' derivation of the per-signature randomness, by hashing the secret key, message, and a nonce. Despite the growing popularity of the hedged paradigm in practical signature schemes, to the best of our knowledge, there has been no attempt to formally analyze the fault resilience of hedged signatures. We perform a formal security analysis of the fault resilience of signature schemes constructed via the Fiat--Shamir transform. We propose a model to characterize bit-tampering fault attacks, and investigate their impact across different steps of the signing operation. We prove that, for some types of faults, attacks are mitigated by the hedged paradigm, while attacks remain possible for others. As concrete case studies, we then apply our results to XEdDSA, a hedged version of EdDSA used in the Signal messaging protocol, and to Picnic2, a hedged Fiat--Shamir signature scheme in Round 2 of the NIST Post-Quantum standardization process.

Note: Updated HVZK definition; revised the c-HVZK analysis of Picnic; added Appendix D

Metadata
Available format(s)
PDF
Category
Public-key cryptography
Publication info
A major revision of an IACR publication in EUROCRYPT 2020
Keywords
signature schemesfault attacksFiat-Shamir signaturesdeterministic signaturesrandomness failureshedged cryptographyprovable security
Contact author(s)
gregz @ microsoft com
orlandi @ cs au dk
dfaranha @ cs au dk
takahashi @ cs au dk
History
2021-02-23: last of 3 revisions
2019-08-22: received
See all versions
Short URL
https://ia.cr/2019/956
License
Creative Commons Attribution
CC BY

BibTeX

@misc{cryptoeprint:2019/956,
      author = {Diego F.  Aranha and Claudio Orlandi and Akira Takahashi and Greg Zaverucha},
      title = {Security of Hedged Fiat-Shamir Signatures under Fault Attacks},
      howpublished = {Cryptology {ePrint} Archive, Paper 2019/956},
      year = {2019},
      url = {https://eprint.iacr.org/2019/956}
}
Note: In order to protect the privacy of readers, eprint.iacr.org does not use cookies or embedded third party content.