{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 | 11 | 2022 |
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 | 4 | 2023 |
'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 | 3 | 2024 |
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 | 3 | 2023 |
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 | 3 | 2023 |
On Heuristic Models, Assumptions, and Parameters S Judson, J Feigenbaum arXiv preprint arXiv:2201.07413, 2022 | 3 | 2022 |
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 | 3 | 2020 |
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 | 2 | 2024 |
Nexus 1.0: Enabling Verifiable Computation D Marin, M Abdalla, P Govereau, J Groth, S Judson, K Sosnin, G Vamsi | 1 | 2024 |
(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 | | |