Woodrow Gamboa

Publication Activity (10 Years)

Years Active: 2020-2022
Publications (10 Years): 3

Top Topics

Unauthorized Access

Benchmark Data Sets

Learning Algorithm

Watermarking Scheme

Top Venues

Publications

Ruben Gamboa, Woodrow Gamboa
All Prime Numbers Have Primitive Roots. ACL2 (2022)
Shaya Wolf, Woodrow Gamboa, Mike Borowczak
Jangseung: A Guardian for Machine Learning Algorithms to Protect Against Poisoning Attacks. ISC2 (2021)
Ruben Gamboa, John R. Cowles, Woodrow Gamboa
Quadratic Extensions in ACL2. ACL2 (2020)