Background
At Galois, Ben works on safe and efficient cryptographic implementations and secure system design. Before coming to Galois, he studied at Texas A&M University and Portland State University, where he focused on provably secure cryptography in the presence of quantum adversaries. His work there included designing and proving security definitions for quantum-safe cryptographic hash functions.