Secure Authentication in the Grid: A Formal Analysis of DNP3: SAv5

Our paper got accepted in ESORICS 2017. Win! Read the full paper here.

Presentation slides here.

Update 13/09/2017: We won best paper!!