Privacy-Preserving SAT Solving (Invited Talk)

Piskac, Ruzica

doi:10.4230/LIPIcs.SAT.2025.1

Subject Classification

ACM Subject Classification

Security and privacy → Logic and verification

Keywords

SAT solving
Privacy-preserving reasoning
Zero-knowledge proofs
Propositional unsatisfiability

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Abstract

This is an extended abstract of the invited talk presented at the joint conferences "28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025)" and "31st International Conference on Principles and Practice of Constraint Programming (CP 2025)". The talk is based on a series of three papers published previously, and it provides a unified overview of their key ideas and results.

Cite As Get BibTex

Ruzica Piskac. Privacy-Preserving SAT Solving (Invited Talk). In 28th International Conference on Theory and Applications of Satisfiability Testing (SAT 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 341, pp. 1:1-1:2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.SAT.2025.1

Author Details

Ruzica Piskac

Yale University, New Haven, CT, USA

References

Ning Luo, Timos Antonopoulos, William R. Harris, Ruzica Piskac, Eran Tromer, and Xiao Wang. Proving UNSAT in zero knowledge. In Heng Yin, Angelos Stavrou, Cas Cremers, and Elaine Shi, editors, Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, pages 2203-2217. ACM, 2022. URL: https://doi.org/10.1145/3548606.3559373.
Ning Luo, Samuel Judson, Timos Antonopoulos, Ruzica Piskac, and Xiao Wang. ppsat: Towards two-party private SAT solving. In Kevin R. B. Butler and Kurt Thomas, editors, 31st USENIX Security Symposium, USENIX Security 2022, Boston, MA, USA, August 10-12, 2022, pages 2983-3000. USENIX Association, 2022. URL: https://www.usenix.org/conference/usenixsecurity22/presentation/luo.
Yuyang Sang, Ning Luo, Samuel Judson, Ben Chaimberg, Timos Antonopoulos, Xiao Wang, Ruzica Piskac, and Zhong Shao. Ou: Automating the parallelization of zero-knowledge protocols. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS '23, pages 534-548, New York, NY, USA, 2023. Association for Computing Machinery. URL: https://doi.org/10.1145/3576915.3616621.

Privacy-Preserving SAT Solving (Invited Talk)

Author Ruzica Piskac

Files

Document Identifiers

Subject Classification

ACM Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

References

Thanks for your feedback!

Could not send message

Privacy-Preserving SAT Solving (Invited Talk)

Author Ruzica Piskac

Files

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification

Keywords

Metrics

Abstract

Cite As Get BibTex

Author Details

Funding

References

Thanks for your feedback!

Could not send message