Romaric Maillard

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 2

Top Topics

Transition Systems

Binary Decision Diagrams

Denial Of Service

Top Venues

TrustCom/BigDataSE

Publications

Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
Model Checking the IKEv2 Protocol Using Spin. PST (2019)
Tristan Ninet, Axel Legay, Romaric Maillard, Louis-Marie Traonouez, Olivier Zendra
The Deviation Attack: A Novel Denial-of-Service Attack Against IKEv2. TrustCom/BigDataSE (2019)