Sreekanth Malladi
Identifiers
- name variant Sreekanth Malladi 0.60 · backfill
Papers (5)
- How to prevent type-flaw and multi-protocol attacks on cryptographic protocols under Exclusive-OR cs.CR · 2010 · author #1
- Disabling equational theories in unification for cryptographic protocol analysis through tagging cs.CR · 2010 · author #1
- How to prevent type-flaw attacks on security protocols under algebraic properties cs.CR · 2010 · author #1
- Protocol indepedence through disjoint encryption under Exclusive-OR cs.CR · 2010 · author #1
- Automatic analysis of distance bounding protocols cs.CR · 2010 · author #1
Mentions
Frequent Coauthors
- Bezawada Bruhadeshwar 1 shared papers
- Kishore Kothapalli 1 shared papers
- Pascal Lafourcade 1 shared papers