What are Multi-Protocol Guessing Attacks and How to Prevent Them. - Sreekanth Malladi; Jim Alves-Foss (WETICE, 2002)

What is the best way to prove a cryptographic protocol correct? - Sreekanth Malladi; Gurdeep S. Hura 001 (IPDPS, 2008)

Automatic analysis of distance bounding protocols - Sreekanth Malladi; Bezawada Bruhadeshwar; Kishore Kothapalli (CoRR, 2010)

Protocol indepedence through disjoint encryption under Exclusive-OR - Sreekanth Malladi (CoRR, 2010)

How to prevent type-flaw attacks on security protocols under algebraic properties - Sreekanth Malladi; Pascal Lafourcade 001 (CoRR, 2010)

Disabling equational theories in unification for cryptographic protocol analysis through tagging - Sreekanth Malladi (CoRR, 2010)

How to prevent type-flaw and multi-protocol attacks on security protocols under Exclusive-OR - Sreekanth Malladi (CoRR, 2010)

Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR. - Sreekanth Malladi (TOSCA, 2011)

Analyzing Workflows in Business Processes for Obstructions due to Authorization Policies. - Nick Spear; Sreekanth Malladi; Sandeep Lakkaraju (HICSS, 2012)

Adapting Constraint Solving to Automatically Analyze UPI Protocols. - Sreekanth Malladi; Jonathan K. Millen (Protocols, Strands, and Logic, 2021)