Model Checking the IKEv2 Protocol Using Spin. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (PST, 2019)

The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. - Tristan Ninet; Axel Legay; Romaric Maillard; Louis-Marie Traonouez; Olivier Zendra (TrustCom/BigDataSE, 2019)