Automated Cryptographic Analysis of the Pedersen Commitment Scheme
Roberto Metere
◽
Changyu Dong
2001 ◽
Vol 18
(2)
◽
pp. 155-159
Lamiaa A. Elrefaei
◽
Ashwaq M. Al-Mohammadi
2007 ◽
Vol 4
(23)
◽
pp. 724-730
◽
Andrew Beng Jin Teoh
◽
Jaihie Kim
Bo Meng
◽
Zimao Li
◽
Jun Qin
2012 ◽
Vol 23
(1)
◽
pp. 67-72
◽
Zhaoqing Liu
◽
Qiong Li
◽
Xiamu Niu
Christian Rathge
◽
Andreas Uhl
◽
Peter Wild
Ahmed Ibrahim
◽
Mukesh Singhal