Arnau Gàmez i Montolio

I am an external PhD researcher (University of London) under the supervision of Martin Nyx Brain and Jacob Howe. I also hold two BScs in Mathematics and Computer Engineering (Universitat de Barcelona) and a MSc in Cybersecurity and Privacy (Universitat Oberta de Catalunya).

My research centers on structured representations of opaque computational functions, with an emphasis on binary polynomials, T-functions, and mixed boolean-arithmetic expressions. I am particularly interested in applications to program analysis, reverse engineering, software protection and cryptanalysis.

Publications¹

• Evaluating Binary Polynomials using Subpolynomials
  International Workshop on Satisfiability Modulo Theories (SMT 2025)
  Jacob M. Howe, Martin Brain, Arnau Gàmez-Montolio
  pdf code
• Efficient Normalized Reduction and Generation of Equivalent Multivariate Binary Polynomials
  Workshop on Binary Analysis Research (BAR 2024)
  Arnau Gàmez-Montolio, Enric Florit, Martin Brain, Jacob M. Howe
  pdf recording
• Analysis and applications of orthogonal approaches to simplify Mixed Boolean-Arithmetic expressions
  MSc Thesis (2022)
  Arnau Gàmez-Montolio
  pdf code
• Code deobfuscation by program synthesis-aided simplification of Mixed Boolean-Arithmetic expressions
  BSc Thesis (2020)
  Arnau Gàmez-Montolio
  pdf code