| Publication date | Communities | Collections | Article title | Author(s) | Journal/Conference |
|---|---|---|---|---|---|
| 3 Aug 2024 | SERC | Institute for Infocomm Research | Formalizing Coppersmith’s Method in Isabelle/HOL | Katherine Kosaian, Yong Kiam Tan, Kristin Yvonne Rozier | Lecture Notes in Computer Science |