International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ

Authors:
Shi Bai
Damien Stehlé
Weiqiang Wen
Download:
DOI: 10.1007/978-3-030-03326-2_13
Search ePrint
Search Google
Presentation: Slides
Conference: ASIACRYPT 2018
Abstract: The Blockwise-Korkine-Zolotarev (BKZ) lattice reduction algorithm is central in cryptanalysis, in particular for lattice-based cryptography. A precise understanding of its practical behavior in terms of run-time and output quality is necessary for parameter selection in cryptographic design. As the provable worst-case bounds poorly reflect the practical behavior, cryptanalysts rely instead on the heuristic BKZ simulator of Chen and Nguyen (Asiacrypt’11). It fits better with practical experiments, but not entirely. In particular, it over-estimates the norm of the first few vectors in the output basis. Put differently, BKZ performs better than its Chen–Nguyen simulation.In this work, we first report experiments providing more insight on this shorter-than-expected phenomenon. We then propose a refined BKZ simulator by taking the distribution of short vectors in random lattices into consideration. We report experiments suggesting that this refined simulator more accurately predicts the concrete behavior of BKZ. Furthermore, we design a new BKZ variant that exploits the shorter-than-expected phenomenon. For the same cost assigned to the underlying SVP-solver, the new BKZ variant produces bases of better quality. We further illustrate its potential impact by testing it on the SVP-120 instance of the Darmstadt lattice challenge.
BibTeX
@inproceedings{asiacrypt-2018-29148,
  title={Measuring, Simulating and Exploiting the Head Concavity Phenomenon in BKZ},
  booktitle={Advances in Cryptology – ASIACRYPT 2018},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={11272},
  pages={369-404},
  doi={10.1007/978-3-030-03326-2_13},
  author={Shi Bai and Damien Stehlé and Weiqiang Wen},
  year=2018
}