Items where Author is "Gàmez-Montolio, A."
Conference or Workshop Item
Howe, J. M. ORCID: 0000-0001-8013-6941, Brain, M.
ORCID: 0000-0003-4216-7151 & Gàmez-Montolio, A. (2025).
Evaluating Binary Polynomials using Subpolynomials.
In:
CEUR Workshop Proceedings.
SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.
Gàmez-Montolio, A., Florit, E., Brain, M. ORCID: 0000-0003-4216-7151 & Howe, J.
ORCID: 0000-0001-8013-6941 (2024).
Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials.
Paper presented at the Workshop on Binary Analysis Research, 1 Mar 2024, San Diego, USA.
doi: 10.14722/bar.2024.23014