Towards Formal Security Analysis of Industrial Control Systems

Publication
Proceedings of the ACM Asia Conference on Computer and Communications Security (ASIACCS)