Alex Malozemoff

Alex earned his Ph.D. in Computer Science from the University of Maryland, where he was advised by Jonathan Katz. His thesis focused on developing efficient protocols for secure multi-party computation. In addition, he worked on synthesizing secure symmetric key encryption schemes, receiving the best paper award at CCS 2015 for his work on the automated analysis and synthesis of authenticated encryption schemes.

At Galois, Alex works on improving various layers of the secure computation “software stack”, from designing more efficient underlying protocols to developing programming languages and optimizing compilers targeting secure computation backends.