 | 2012 |
|---|
| 9 |       | Nick Spear,
Sreekanth Malladi,
Sandeep Lakkaraju:
Analyzing Workflows in Business Processes for Obstructions due to Authorization Policies.
HICSS 2012: 5340-5349 |
| 2011 |
|---|
| 8 | | Sreekanth Malladi:
Soundness of Removing Cancellation Identities in Protocol Analysis under Exclusive-OR.
TOSCA 2011: 205-224 |
| 2010 |
|---|
| 7 | | Sreekanth Malladi,
Bezawada Bruhadeshwar,
Kishore Kothapalli:
Automatic analysis of distance bounding protocols
CoRR abs/1003.5383: (2010) |
| 6 | | Sreekanth Malladi:
Protocol indepedence through disjoint encryption under Exclusive-OR
CoRR abs/1003.5384: (2010) |
| 5 | | Sreekanth Malladi,
Pascal Lafourcade:
How to prevent type-flaw attacks on security protocols under algebraic properties
CoRR abs/1003.5385: (2010) |
| 4 | | Sreekanth Malladi:
Disabling equational theories in unification for cryptographic protocol analysis through tagging
CoRR abs/1003.5406: (2010) |
| 3 | | Sreekanth Malladi:
How to prevent type-flaw and multi-protocol attacks on security protocols under Exclusive-OR
CoRR abs/1004.2522: (2010) |
| 2008 |
|---|
| 2 | | Sreekanth Malladi,
Gurdeep S. Hura:
What is the best way to prove a cryptographic protocol correct?
IPDPS 2008: 1-7 |
| 2002 |
|---|
| 1 | | Sreekanth Malladi,
Jim Alves-Foss:
What are Multi-Protocol Guessing Attacks and How to Prevent Them.
WETICE 2002: 77-82 |
Data released under the ODC-BY 1.0 license — See also our legal information page