Samuel Judson

sam@sjudson.com | samuel.judson@yale.edu

I am a doctoral student in the Department of Computer Science at Yale University, advised by Ruzica Piskac. I work on finding new ways to use formal methods and applied cryptography to further nuanced and principled governance of technology. In practice, my research focuses on privacy preserving formal methods and on accountability for computational decision making in complex, open-world environments.

I am funded by the Office of Naval Research (ONR) through a National Defense Science and Engineering Graduate (NDSEG) Fellowship. I received my undergraduate degree from Marlboro College, advised by Jim Mahoney and Matt Ollis, where my Plan of Concentration focused on cryptographic authentication.


dblp | google scholar


Publications, Preprints, and Theses

  1.    ppSAT: Towards Two-Party Private SAT Solving

         Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, and Xiao Wang


         USENIX Security Symposium, 2022.


         also Cryptology ePrint Archive Report 2021/1584 [eprint] [pdf]

  2.    Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms [acm dl] [pdf]

       Samuel Judson, Ning Luo, Timos Antonopoulos, and Ruzica Piskac


       Workshop on Privacy in the Electronic Society (WPES@CCS), 2020.

  3.    Authentication: Techniques and Theory [pdf]

       Samuel Judson


       Marlboro College Plan of Concentration (Undergraduate Thesis), 2016.