Samuel Judson |

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

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.

cv | dblp | google scholar

Publications, Preprints, and Theses

  1.    On Heuristic Models, Assumptions, and Parameters

    Samuel Judson and Joan Feigenbaum

    Under Submission.

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

       and poster at DIMACS Workshop on the Co-Development of Computer Science and Law, 2020. [dimacs]

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

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

    USENIX Security Symposium, 2022.

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

  3.    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.

  4.    Authentication: Techniques and Theory [pdf]

    Samuel Judson

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