Arno Mittelbach, Daniele Venturi 0001. Fiat-Shamir for highly sound protocols is instantiable. Theoretical Computer Science, 740:28-62, 2018. [doi]
@article{MittelbachV18,
title = {Fiat-Shamir for highly sound protocols is instantiable},
author = {Arno Mittelbach and Daniele Venturi 0001},
year = {2018},
doi = {10.1016/j.tcs.2018.05.001},
url = {https://doi.org/10.1016/j.tcs.2018.05.001},
researchr = {https://researchr.org/publication/MittelbachV18},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {740},
pages = {28-62},
}