Browse Research and Tech Reports - Computer Science by Subject "Verification, Security, randomized protocols, computational complexity"

  • Chadha, Rohit; Sistla, A. Parsad; Viswanathan, Mahesh (2017-04-18)
    We consider the problem of verifying the security of finitely many sessions of a protocol that tosses coins in addition to standard cryptographic primitives against a Dolev-Yao adversary. Two properties are investigated ...


    application/pdfPDF (457kB)