Modeling and analysis of internet key exchange protocolv2 and a proposal for its variant. - Hasmukh Patel; Devesh C. Jinwala (COMPUTE, 2013)

Automated Analysis of Internet Key Exchange Protocol v2 for Denial of Service Attacks. - Hasmukh Patel; Devesh C. Jinwala (Int. J. Netw. Secur., 2015)

LPM: A lightweight authenticated packet marking approach for IP traceback. - Hasmukh Patel; Devesh C. Jinwala (Comput. Networks, 2018)

STF-DM: a sparsely tagged fragmentation with dynamic marking an IP traceback approach. - Hasmukh Patel; Devesh Jinwala (Int. Arab J. Inf. Technol., 2018)