共 50 条
- [44] Secure Symmetric Private Information Retrieval from Colluding Databases with Adversaries 2017 55TH ANNUAL ALLERTON CONFERENCE ON COMMUNICATION, CONTROL, AND COMPUTING (ALLERTON), 2017, : 1083 - 1090
- [47] Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries 2015 IEEE 28TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM CSF 2015, 2015, : 75 - 89