Follow
Samuel Judson
Samuel Judson
Nexus
Verified email at nexus.xyz - Homepage
Title
Cited by
Cited by
Year
{ppSAT}: Towards {Two-Party} Private {SAT} Solving
N Luo, S Judson, T Antonopoulos, R Piskac, X Wang
31st USENIX Security Symposium (USENIX Security 22), 2983-3000, 2022
82022
Analyzing Intentional Behavior in Autonomous Agents Under Uncertainty
FC Córdoba, S Judson, T Antonopoulos, K Bjørner, N Shoemaker, ...
arXiv preprint arXiv:2307.01532, 2023
32023
'Put the Car on the Stand' SMT-based Oracles for Investigating Decisions
S Judson, M Elacqua, F Cano, T Antonopoulos, B Könighofer, SJ Shapiro, ...
Proceedings of the Symposium on Computer Science and Law, 73-85, 2024
22024
Formal XAI via Syntax-Guided Synthesis
K Bjørner, S Judson, F Cano, D Goldman, N Shoemaker, R Piskac, ...
International Conference on Bridging the Gap between AI and Reality, 119-137, 2023
22023
On Heuristic Models, Assumptions, and Parameters
S Judson, J Feigenbaum
arXiv preprint arXiv:2201.07413, 2022
22022
Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms
S Judson, N Luo, T Antonopoulos, R Piskac
Proceedings of the 19th Workshop on Privacy in the Electronic Society, 101-115, 2020
22020
Nexus 1.0: Enabling Verifiable Computation
D Marin, M Abdalla, P Govereau, J Groth, S Judson, K Sosnin, G Vamsi
12024
Ou: Automating the Parallelization of Zero-Knowledge Protocols
Y Sang, N Luo, S Judson, B Chaimberg, T Antonopoulos, X Wang, ...
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications …, 2023
12023
soid: A Tool for Legal Accountability for Automated Decision Making
S Judson, M Elacqua, F Cano, T Antonopoulos, B Könighofer, SJ Shapiro, ...
5 Open problems 5.1 Concluding Exercise: Open Questions
M Veale, T Arnold, FC Córdoba, C Cath, H Chockler, A Cohen, M Davies, ...
Accountable Software Systems, 46, 0
The system can't perform the operation now. Try again later.
Articles 1–10