The Hidden Number Problem
From MaRDI portal
- A verified efficient implementation of the LLL basis reduction algorithm
- Formalizing the LLL basis reduction algorithm and the LLL factorization algorithm in Isabelle/HOL
- Hardness of computing the most significant bits of secret keys in Diffie-Hellman and related schemes
- Unnamed Publication
- On Lovász' lattice reduction and the nearest lattice point problem
This page was built for software: The Hidden Number Problem