261 citations
- North Dakota State UniversityUS3 papers
- Centre National de la Recherche ScientifiqueFR1 paper
- Institut de Planétologie et d'Astrophysique de GrenobleFR1 paper
- Institute for Research in Fundamental SciencesIR1 paper
- International Institute of Information Technology, HyderabadIN1 paper
- Minnesota State University MoorheadUS1 paper
- Observatoire Aquitain des Sciences de l'UniversFR1 paper
- Space Research Organisation NetherlandsNL1 paper
- The Ohio State UniversityUS1 paper
- The University of OsakaJP1 paper
- Université Toulouse III - Paul SabatierFR1 paper
- University of Arkansas for Medical SciencesUS1 paper
Showing cs.CRShow all
3 papers · 1 filter
cs.CR2010★ 1 cited
How to prevent type-flaw attacks on security protocols under algebraic properties
Sreekanth Malladi, Pascal Lafourcade
Type-flaw attacks upon security protocols wherein agents are led to misinterpret message types have been reported frequently in the literature. Preventing them is crucial for proto…
cs.CR2010★ 11 cited
Automatic analysis of distance bounding protocols
Sreekanth Malladi, Bezawada Bruhadeshwar, Kishore Kothapalli
Distance bounding protocols are used by nodes in wireless networks to calculate upper bounds on their distances to other nodes. However, dishonest nodes in the network can turn the…
cs.CR2010★ 4 cited
Protocol indepedence through disjoint encryption under Exclusive-OR
Sreekanth Malladi
Multi-protocol attacks due to protocol interaction has been a notorious problem for security. Gutman-Thayer proved that they can be prevented by ensuring that encrypted messages ar…