selected publications academic article Design and formal security evaluation of NeMHIP: A new secure and efficient network mobility management protocol based on the Host Identity Protocol. Computers & Security. 32:1-18. 2012