Items where Author is "Gàmez-Montolio, A."
    
    
      
        
        Howe, J. M.  ORCID: 0000-0001-8013-6941, Brain, 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.
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-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
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
  
 
               
              ![[up]](/style/images/multi_up.png) Up a level
 Up a level