Formalizing Coppersmith's method in Isabelle/HOL

From MaRDI portal

Publication:6648162

Jump to:navigation, search

DOI10.1007/978-3-031-66997-2_8MaRDI QIDQ6648162

Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier

Publication date: 4 December 2024

zbMATH Keywords

theorem proving cryptography Coppersmith's method LLL basis reduction

Mathematics Subject Classification ID

Computer science support for mathematical research and practice (68Vxx)

This page was built for publication: Formalizing Coppersmith's method in Isabelle/HOL

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6648162&oldid=40222476"