Biblio

Export 1 results:
Filters: Author is Ning Luo  [Clear All Filters]
2022
Luo N, Judson S, Antonopoulos T, Piskac R, Wang X.  2022.  ppSAT: Towards Two-Party Private SAT Solving. 31st USENIX Security Symposium (USENIX Security 22). :2983--3000.