Samuel Judson

14 papers A* 4Journal 6Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
BlindMarket: Enabling Verifiable, Confidential, and Traceable IP Core Distribution in Zero-Trust Settings.
CoRR
Zhaoxiang Liu, Samuel Judson, Raj Gautam Dutta, Mark Santolucito, Xiaolong Guo, Ning Luo
2024 — conf
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.
CSLAW
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2024 A* conf
Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users.
CCS
Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito
2024 — conf
soid: A Tool for Legal Accountability for Automated Decision Making.
CAV (2)
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023 J jnl
'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.
CoRR
Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac
2023 A* conf
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.
IJCAI
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023 J jnl
Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.
CoRR
Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer
2023 — conf
Formal XAI via Syntax-Guided Synthesis.
AISoLA
Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer
2023 A* conf
Ou: Automating the Parallelization of Zero-Knowledge Protocols.
CCS
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2023 J jnl
Ou: Automating the Parallelization of Zero-Knowledge Protocols.
IACR Cryptol. ePrint Arch.
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao
2022 J jnl
On Heuristic Models, Assumptions, and Parameters.
CoRR
Samuel Judson, Joan Feigenbaum
2022 A* conf
ppSAT: Towards Two-Party Private SAT Solving.
USENIX Security Symposium
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2021 J jnl
ppSAT: Towards Two-Party Private SAT Solving.
IACR Cryptol. ePrint Arch.
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang
2020 — conf
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.
WPES@CCS
Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac