Towards Formal Security Analysis of Industrial Control Systems.

Marco Rocchetto, Nils Ole Tippenhauer

Browse the full CCS paper archive.