Quadratic Extensions in ACL2. - Ruben Gamboa; John R. Cowles; Woodrow Gamboa (ACL2, 2020)

Jangseung: A Guardian for Machine Learning Algorithms to Protect Against Poisoning Attacks. - Shaya Wolf; Woodrow Gamboa; Mike Borowczak (ISC2, 2021)

All Prime Numbers Have Primitive Roots. - Ruben Gamboa; Woodrow Gamboa (ACL2, 2022)