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
4 papers · 1 filter
Kodaira Dimension of Fiber Sums along Spheres
Josef G. Dorfmeister
In this note we discuss the effect of the symplectic sum along spheres in symplectic four-manifolds on the Kodaira dimension of the underlying symplectic manifold. We find that the…
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…
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…
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…