Formalizing Coppersmith's Method in Isabelle/HOL

Open Webpage

Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier

Published: 01 Jan 2024, Last Modified: 26 Mar 2025CICM 2024EveryoneRevisionsBibTeXCC BY-SA 4.0