Guruprasad Eswaraiah, Roopa Vishwanathan, Douglas Nedza. Automated Proofs of Signatures using Bilinear Pairings. In Kieran McLaughlin, Ali A. Ghorbani, Sakir Sezer, Rongxing Lu, Liqun Chen, Robert H. Deng, Paul Miller, Stephen Marsh 0001, Jason Nurse, editors, 16th Annual Conference on Privacy, Security and Trust, PST 2018, Belfast, Northern Ireland, Uk, August 28-30, 2018. pages 1-10, IEEE, 2018. [doi]
Abstract is missing.