Samuel Judson

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 12

Top Topics

Boolean Optimization

Autonomous Agents

Decision Making

Top Venues

IACR Cryptol. ePrint Arch.

USENIX Security Symposium

Publications

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
soid: A Tool for Legal Accountability for Automated Decision Making. CAV (2) (2024)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CSLAW (2024)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. CoRR (2023)
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
Ou: Automating the Parallelization of Zero-Knowledge Protocols. IACR Cryptol. ePrint Arch. 2023 (2023)
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty. IJCAI (2023)
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
Ou: Automating the Parallelization of Zero-Knowledge Protocols. CCS (2023)
Katrine Bjørner, Samuel Judson, Filip Cano Córdoba, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
Formal XAI via Syntax-Guided Synthesis. AISoLA (2023)
Samuel Judson, Matthew Elacqua, Filip Cano Córdoba, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions. CoRR (2023)
Samuel Judson, Joan Feigenbaum
On Heuristic Models, Assumptions, and Parameters. CoRR (2022)
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
ppSAT: Towards Two-Party Private SAT Solving. USENIX Security Symposium (2022)
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
ppSAT: Towards Two-Party Private SAT Solving. IACR Cryptol. ePrint Arch. 2021 (2021)
Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms. WPES@CCS (2020)