Automated Proofs of Signatures using Bilinear Pairings. - Guruprasad Eswaraiah; Roopa Vishwanathan; Douglas Nedza (PST, 2018)

Private and Secure Mixing in Credit Networks. - Lalitha Muthu Subramanian; Guruprasad Eswaraiah; Roopa Vishwanathan (IECC, 2019)

Exploring Automation in Proofs of Attribute-based Encryption in the Standard Model. - Guruprasad Eswaraiah; Lalitha Muthu Subramanian; Roopa Vishwanathan (PST, 2019)

Rebalancing in Acyclic Payment Networks. - Lalitha Muthu Subramanian; Guruprasad Eswaraiah; Roopa Vishwanathan (PST, 2019)