November 10, 2022
Ning Luo, Timos Antonopoulos, and Ruzica Piskac won a Distinguished Paper Award at the CCS 2022 conference held on November 7-11 in Los Angeles for their paper, Proving UNSAT in Zero Knowledge. The paper is their work on proving the unsatisfiability of Boolean formulas in Zero Knowledge.
Together with their collaborators, William R. Harris (Google LLC), Eran Tromer (Columbia University), and Xiao Wang (Northwestern University), they developed a line of research that combines formal methods and privacy-preserving reasoning.
Congratulations!