Samuel Judson |

I am a doctoral student in the Department of Computer Science at Yale University, advised by Ruzica Piskac. My research interests lie in developing techniques to guarantee the correct, secure, transparent, and private operation of systems through formal methods and applied cryptography. I also have considerable interest in the political, legal, and social structures we build around technology, and the histories thereof.

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.

Curriculum Vitae


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

  2.    Authentication: Techniques and Theory [pdf]

       Samuel Judson

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