Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. - Samuel Judson; Ning Luo; Timos Antonopoulos; Ruzica Piskac (WPES@CCS, 2020)

ppSAT: Towards Two-Party Private SAT Solving. - Ning Luo; Samuel Judson; Timos Antonopoulos; Ruzica Piskac; Xiao Wang 012 (IACR Cryptol. ePrint Arch., 2021)

On Heuristic Models, Assumptions, and Parameters. - Samuel Judson; Joan Feigenbaum (CoRR, 2022)

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. - Filip Cano Córdoba; Samuel Judson; Timos Antonopoulos; Katrine Bjørner; Nicholas Shoemaker; Scott J. Shapiro; Ruzica Piskac; Bettina Könighofer (IJCAI, 2023)

Formal XAI via Syntax-Guided Synthesis. - Katrine Bjørner; Samuel Judson; Filip Cano 001; Drew Goldman; Nicholas Shoemaker; Ruzica Piskac; Bettina Könighofer (AISoLA, 2023)

Ou: Automating the Parallelization of Zero-Knowledge Protocols. - Yuyang Sang; Ning Luo; Samuel Judson; Ben Chaimberg; Timos Antonopoulos; Xiao Wang 012; Ruzica Piskac; Zhong Shao 001 (IACR Cryptol. ePrint Arch., 2023)

soid: A Tool for Legal Accountability for Automated Decision Making. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CAV (2), 2024)

Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. - Zhaoxiang Liu; Ning Luo; Samuel Judson; Raj Gautam Dutta; Xiaolong Guo; Mark Santolucito (CCS, 2024)

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. - Samuel Judson; Matthew Elacqua; Filip Cano 001; Timos Antonopoulos; Bettina Könighofer; Scott J. Shapiro; Ruzica Piskac (CSLAW, 2024)