关注
Samuel Judson
Samuel Judson
Nexus
在 nexus.xyz 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
{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
112022
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
42023
'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
32024
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
32023
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
32023
On Heuristic Models, Assumptions, and Parameters
S Judson, J Feigenbaum
arXiv preprint arXiv:2201.07413, 2022
32022
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
32020
soid: A Tool for Legal Accountability for Automated Decision Making
S Judson, M Elacqua, F Cano, T Antonopoulos, B Könighofer, SJ Shapiro, ...
International Conference on Computer Aided Verification, 233-246, 2024
22024
Nexus 1.0: Enabling Verifiable Computation
D Marin, M Abdalla, P Govereau, J Groth, S Judson, K Sosnin, G Vamsi
12024
(Private) Formal Methods for Rigorously Governable Systems
S Judson
Yale University, 2024
2024
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
系统目前无法执行此操作,请稍后再试。
文章 1–11