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.
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
Yuyang Sang*, Ning Luo*, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang,
Ruzica Piskac, and Zhong Shao
also Cryptology ePrint Archive Report 2023/657 [eprint] [pdf]
Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer,
Scott J. Shapiro, and Ruzica Piskac
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker,
Scott J. Shapiro, Ruzica Piskac, and Bettina Könighofer
Samuel Judson and Joan Feigenbaum
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, and Xiao Wang
USENIX Security, 2022.
also Cryptology ePrint Archive Report 2021/1584 [eprint]
Samuel Judson, Ning Luo, Timos Antonopoulos, and Ruzica Piskac
Marlboro College Plan of Concentration (Undergraduate Thesis), 2016.