Logics for Cryptographic Protocols - Virtues and Limitations. - Virgil D. Gligor; Rajashekar Kailar; Stuart G. Stubblebine; Li Gong (CSFW, 1991)

On Belief Evolution in Authentication Protocols. - Rajashekar Kailar; Virgil D. Gligor (CSFW, 1991)

Reasoning about accountability in protocols for electronic commerce. - Rajashekar Kailar (S&P, 1995)

Accountability in Electronic Commerce Protocols. - Rajashekar Kailar (IEEE Trans. Software Eng., 1996)

A Security Architecture for Health Information Networks. - Rajashekar Kailar (AMIA, 2007)