Michael A. Forbes

1. Pseudorandom Generators for Read-Once Branching Programs, in any Order
   2018/08/19 by Michael A. Forbes, Zander Kelley, Forbes, Michael A. +1 · 3 citations
   Computer Science · #Complexity and Algorithms in Graphs #Cryptography and Data Security #Optimization and Search Problems
2. Explicit Noether Normalization for Simultaneous Conjugation via\n Polynomial Identity Testing
   2013/02/28 by Michael A. Forbes, Forbes, Michael A., Shpilka, Amir · 1 citation
   Computer Science · #Advanced Graph Theory Research #Algebraic Geometry (math.AG) #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #FOS: Computer and information sciences #FOS: Mathematics #Rings and Algebras (math.RA) #Symbolic Computation (cs.SC) #semigroups and automata theory
3. Identity Testing and Lower Bounds for Read-k Oblivious Algebraic\n Branching Programs
   2015/11/23 by Matthew Anderson, Michael A. Forbes, Anderson, Matthew +7 · 1 citation
   Computer Science · #Advanced Data Storage Technologies #Advanced Graph Theory Research #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #FOS: Computer and information sciences
4. On Probabilistic Checking in Perfect Zero Knowledge
   2016/10/12 by Eli Ben‐Sasson, Alessandro Chiesa, Ben-Sasson, Eli +9 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #semigroups and automata theory
5. Functional lower bounds for arithmetic circuits and connections to\n boolean circuit complexity
   2016/05/13 by Michael A. Forbes, Mrinal Kumar, Forbes, Michael A. +3 · 1 citation
   Computer Science · #Coding theory and cryptography #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #FOS: Computer and information sciences #Polynomial and algebraic computation
6. A Zero Knowledge Sumcheck and its Applications
   2017/04/07 by Alessandro Chiesa, Chiesa, Alessandro, Michael A. Forbes +3 · 1 citation
   Computer Science · #Complexity and Algorithms in Graphs #Computational Complexity (cs.CC) #Cryptography and Data Security #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Methods in Verification