Securing Modbus-Based Industrial Control Systems with Refined Multiparty Session Types.

Max Taylor, Arthur Amorim, Lance Joneckis

Browse the full ACSAC paper archive.