Eric Miles
- Alternating Hierarchies for Time-Space Tradeoffs
2008/01/08 by Chris Pollett, Pollett, Chris, Eric Miles +1 · 1 citation
Computer Science · #Computational Complexity (cs.CC) #F.1.3 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #semigroups and automata theory
- Substitution-Permutation Networks, Pseudorandom Functions, and Natural Proofs
2015/12/10 by Eric Miles, Emanuele Viola · 1 citation
Computer Science · #Cryptographic Implementations and Security #Coding theory and cryptography #Quantum-Dot Cellular Automata