Anant Sujatanagarjuna Arne Bochem Benjamin Leiding Formalizing and Safeguarding Blockchain-Based BlockVoke Protocol as an ACME Extension for Fast Certificate Revocation. 63 2022 6 Cryptogr. 4 https://doi.org/10.3390/cryptography6040063 db/journals/cryptography/cryptography6.html#Sujatanagarjuna22