License: BSD 3-Clause "New" or "Revised" License Compatible Coq versions: 8.12 or later Additional dependencies: none Related publication(s): none After building, you can open up any of the files in ...
Abstract: We study the equivalence between non-perfect secret sharing (NSS) and symmetric private information retrieval (SPIR) with colluding and unresponsive servers. We prove the equivalence between ...
Abstract: We study the equivalence between non-perfect secret sharing (NSS) and symmetric private information retrieval (SPIR) with colluding and unresponsive servers. We prove the equivalence between ...