Dario Catalano Mario Di Raimondo Dario Fiore 0001 Mariagrazia Messina Zero-Knowledge Sets With Short Proofs. 2488-2502 2011 57 IEEE Trans. Inf. Theory 4 https://doi.org/10.1109/TIT.2011.2112150 db/journals/tit/tit57.html#CatalanoRFM11