Formalising -Protocols and Commitment Schemes Using CryptHOL | Publicación