Automatic Proofs of Privacy of Secure Multi-Party Computation Protocols Against Active Adversaries
doi 10.1109/csf.2015.13
Full Text
Open PDFAbstract
Available in full text
Date
July 1, 2015
Authors
Publisher
IEEE
Available in full text
July 1, 2015
IEEE