Samuel Judson

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

I am a doctoral candidate 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 principled governance of technology. In practice, my research focuses on privacy preserving formal methods as well as on accountability for algorithmic decision making through the descriptive application of rigorous program analysis.

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


cv | dblp | google scholar


Publications, Preprints, and Theses

(*equal contribution)

  1.    Ou: Automating the Parallelization of Zero-Knowledge Protocols

    Yuyang Sang*, Ning Luo*, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang,


         Ruzica Piskac, and Zhong Shao


    CCS, 2023.


       also Cryptology ePrint Archive Report 2023/657 [eprint] [pdf]

  2.    Formal XAI via Syntax-Guided Synthesis

    Katrine Bjørner*, Samuel Judson*, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker,


         Ruzica Piskac, and Bettina Könighofer


    AISoLA, 2023.


  3.    'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions

    Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer,


         Scott J. Shapiro, and Ruzica Piskac


    Under Submission.


       also arXiv.2305.05731, 2023. [arxiv] [pdf]

  4.    Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty [pdf]

    Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker,


         Scott J. Shapiro, Ruzica Piskac, and Bettina Könighofer


    IJCAI, 2023.


       also arXiv.2307.01532, 2023. [arxiv] [pdf]

  5.    On Heuristic Models, Assumptions, and Parameters

    Samuel Judson and Joan Feigenbaum


    Under Submission.


       also arXiv.2201.07413, 2022. [arxiv] [pdf]

  6.    ppSAT: Towards Two-Party Private SAT Solving [usenix] [pdf]

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


    USENIX Security, 2022.


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

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

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


    WPES@CCS, 2020.

  8.    Authentication: Techniques and Theory [pdf]

    Samuel Judson


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