Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets. - Anant Sujatanagarjuna; Arne Bochem; Benjamin Leiding (Inf., 2021)

Formalizing and Safeguarding Blockchain-Based BlockVoke Protocol as an ACME Extension for Fast Certificate Revocation. - Anant Sujatanagarjuna; Arne Bochem; Benjamin Leiding (Cryptogr., 2022)

A technological framework for scalable ground-up formation of Circular Societies. - Anant Sujatanagarjuna (ICT4S (Doctoral Symposium, Demos, Posters), 2023)