Samuel Judson

According to our database, Samuel Judson authored at least 9 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

'Put the Car on the Stand': SMT-based Oracles for Investigating Decisions.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Symposium on Computer Science and Law, 2024

Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users.

Zhaoxiang Liu, Ning Luo, Samuel Judson, Raj Gautam Dutta, Xiaolong Guo, Mark Santolucito

Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security, 2024

soid: A Tool for Legal Accountability for Automated Decision Making.

Samuel Judson, Matthew Elacqua, Filip Cano, Timos Antonopoulos, Bettina Könighofer, Scott J. Shapiro, Ruzica Piskac

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Formal XAI via Syntax-Guided Synthesis.

Katrine Bjørner, Samuel Judson, Filip Cano, Drew Goldman, Nicholas Shoemaker, Ruzica Piskac, Bettina Könighofer

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Analyzing Intentional Behavior in Autonomous Agents under Uncertainty.

Filip Cano Córdoba, Samuel Judson, Timos Antonopoulos, Katrine Bjørner, Nicholas Shoemaker, Scott J. Shapiro, Ruzica Piskac, Bettina Könighofer

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Ou: Automating the Parallelization of Zero-Knowledge Protocols.

Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, Zhong Shao

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

On Heuristic Models, Assumptions, and Parameters.

Samuel Judson, Joan Feigenbaum

CoRR, 2022

ppSAT: Towards Two-Party Private SAT Solving.

Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, Xiao Wang

Proceedings of the 31st USENIX Security Symposium, 2022

2020

Privacy Preserving CTL Model Checking through Oblivious Graph Algorithms.

Samuel Judson, Ning Luo, Timos Antonopoulos, Ruzica Piskac

Proceedings of the WPES'20: Proceedings of the 19th Workshop on Privacy in the Electronic Society, 2020