@InProceedings{LMS12, author = {S. Lakkaraju and S. Malladi and N. Spears}, title = {Analyzing workflows in business processes for obstructions due to authorization policies}, booktitle = {Hawaiian International Conference on System Sciences}, month = {January}, year= {2012} }

@InProceedings{Mall-CF11, author = {S. Malladi and L. Drews}, title = {How to prevent type-flaw and multi-protocol attacks under Exclusive-OR}, booktitle = {CyptoForma workshop}, organization = {Affiliated to Formal Methods}, month = {June}, year= {2011} }

@InProceedings{Mall-TOSCA11, author = {S. Malladi}, title = {Soundness of removing cancellation identities in protocol analysis under Exclusive-OR}, booktitle = {Theory of Security and its Applications (TOSCA)}, organization = {Event of ETAPS}, month = {March}, year= {2011} }

@InProceedings{Mall-FCS10, author = {S. Malladi}, title = {Protocol independence through disjont encryption under Exclusive-OR}, booktitle = {Foundations and Computer Security and Privacy (FCS-PrivMod)}, organization = {Affiliated to Computer Security Foundations Symposium}, month = {July}, year= {2010} }

@InProceedings{ML-SecRet09, author = {S. Malladi and P. Lafourcade}, title = {How to prevent type-flaw attacks under algebraic properties}, booktitle = {Security and Rewriting Techniques}, organization = {Affiliated to Computer Security Foundations Symposium}, month = {July}, year= {2009} }

@InProceedings{MBK-FCS09, author = {S. Malladi, B. Bruhadeshwar and K. Kothapalli}, title = {Automatic analysis of distance bounding protocols}, booktitle = {Foundations of Computer Security}, organization = {Affiliated to Logic in Computer Science}, month = {August}, year= {2009} }

@inproceedings{MH-SSN08, author = {S.~Malladi and G.~S.~Hura}, booktitle = {Workshop on Security in Systems and Networks (SSN 2008), IEEE International Symposium on Parallel and Distributed Processing (IPDPS 2008)}, pages = {1--7}, title = {What is the best way to prove a cryptographic protocol correct? (Position Paper)}, year = {2008} }

@unpublished{Mall07, author = {S. Malladi}, title = {{A note on the use of tagging to prevent type-flaw attacks on security protocols}}, note = {Technical Report, SD-BoR SEED grant project work}, month = {September}, year = {2007} }

@Inproceedings{MES-IAW07, author = {S.~Malladi and O.~El-Gayar and K.~Streff}, title = {Experiences and lessons learned in the design and implementation of an Information Assurance curriculum}, booktitle = {8th Annual IEEE SMC Information Assurance Workshop (IAW 2007)}, publisher = {IEEE Computer Society}, organization = {IEEE}, address = {West Point, NY}, month = {june}, year = {2007} }

@InProceedings{MR-CNIS05, author={S.~Malladi and S.~Rosenberg}, title={Extending constraint solving for cryptographic protocol analysis with non-standard attacker inference rules}, booktitle={IASTED International Conference on Communication, Network and Information Security (CNIS 2005)}, month={November}, year={2005} }

@Inproceedings{MA-FCS03, author = {S.~Malladi and J.~Alves-Foss}, title = {{How to prevent type-flaw guessing attacks on password protocols}}, booktitle = {Workshop on Foundations of Computer Security (FCS03)}, address = {Ottawa, Canada}, month = {June}, year = {2003} }

@Inproceedings{CMAE-WITS03, author = {R.~Corin and S.~Malladi and J.~Alves-Foss and S.~Etalle}, title = {{Guess what? Here is a new tool that finds some new guessing attacks}}, booktitle = {{R.~Gorrieri and R.~Lucchi, editors, IFIP WG 1.7 and ACM SIGPLAN Workshop in the Issues of Theory of Security (WITS03)}}, address = {Poland, Warsaw}, month = {April}, year = {2003} }

@Inproceedings{MAM-WETICE02, author = {S.~Malladi and J.~Alves-Foss and S.~Malladi}, title = {What are multi-protocol guessing attacks and how to prevent them}, booktitle = {11th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2002)}, pages = {77-82}, publisher = {IEEE Computer Society}, month = {june}, year = {2002} }