International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Compact Proofs of Partial Knowledge for Overlapping CNF Formulae

Authors:
Gennaro Avitabile
Vincenzo Botta
Daniele Friolo
Daniele Venturi
Ivan Visconti
Download:
DOI: 10.1007/s00145-024-09532-3
Search ePrint
Search Google
BibTeX
@article{jofc-2024-35420,
  title={Compact Proofs of Partial Knowledge for Overlapping CNF Formulae},
  journal={Journal of Cryptology},
  publisher={Springer},
  volume={38},
  pages={7},
  doi={10.1007/s00145-024-09532-3},
  author={Gennaro Avitabile and Vincenzo Botta and Daniele Friolo and Daniele Venturi and Ivan Visconti},
  year=2024
}