I am a Member of Technical Staff at Nexus, where I work on verifiable computation and its applications to transparent and accountable computing. I also occasionally write humor.
I recevied a doctorate from the Department of Computer Science at Yale University, where I was advised by Ruzica Piskac. I worked on finding new ways to use formal methods and applied cryptography to further principled governance of technology. My technical research focused on accountability for algorithmic decision making through the descriptive application of rigorous program analysis, as well as on privacy preserving formal methods. I also continue to work on questions at the intersection of computer science with law and policy, especially those pertaining to accountability.
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.
dblp | scholar | github
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer,
Scott J. Shapiro, and Ruzica Piskac
CAV, 2024.
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer,
Scott J. Shapiro, and Ruzica Piskac
CSLAW, 2024.
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]
Katrine Bjørner*, Samuel Judson*, Filip Cano, Drew Goldman, Nicholas Shoemaker,
Ruzica Piskac, and Bettina Könighofer
AISoLA, 2023.
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker,
Scott J. Shapiro, Ruzica Piskac, and Bettina Könighofer
IJCAI, 2023.
Samuel Judson and Joan Feigenbaum
Under Submission.
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, and Xiao Wang
USENIX Security, 2022.
also Cryptology ePrint Archive Report 2021/1584 [eprint] [pdf]
Samuel Judson, Ning Luo, Timos Antonopoulos, and Ruzica Piskac
WPES@CCS, 2020.
Doctoral Dissertation, Yale University, 2024.
Plan of Concentration (Undergraduate Thesis), Marlboro College, 2016.