3,606 followers
Automated cryptographic analysis of the Pedersen commitment scheme. ~ R. Metere & C. Dong #ITP #Coq https://t.co/9HbqSJaIhz
Automated cryptographic analysis of the Pedersen commitment scheme. ~ R. Metere & C. Dong #ITP #Coq https://t.co/9HbqSJaIhz
Automated Cryptographic Analysis of the Pedersen Commitment Scheme. https://t.co/tff8Af0BFl