Denis Firsov, Sven Laur, Ekaterina Zhuchko. Formal Analysis of Non-Malleability for Commitments in EasyCrypt. IACR Cryptology ePrint Archive, 2022:32, 2022. [doi]
@article{FirsovLZ22, title = {Formal Analysis of Non-Malleability for Commitments in EasyCrypt}, author = {Denis Firsov and Sven Laur and Ekaterina Zhuchko}, year = {2022}, url = {https://eprint.iacr.org/2022/032}, researchr = {https://researchr.org/publication/FirsovLZ22}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2022}, pages = {32}, }