ICSS – Industrial Control System Security

• Call for Papers
• Agenda

---

Proceedings

Keynote Presentation: Resilient Control Systems and the Advancement of the Cyber Feedback Loop
Craig G. Rieger, Idaho National Laboratory
presentation

Formal Verification of the WirelessHART Protocol - Verifying Old and Finding New Attacks
Gunnarsson, RISE Research Institutes of Sweden AB
presentation paper

Cybersecurity in the Smart Grid: Practitioners' Perspective
Jacqueline Meyer, and Giovanni Apruzzese, University of Liechtenstein
presentation paper

Power-based Malware Detection in Linux Boot
Ge Li, Alexander Cathis, Shijia Wei, Mohit Tiwar, Andreas Gerstlauer, and Michael Orshansky, The University of Texas at Austin; Andrew Lu, Liberal Arts and Science Academy; Ross Brown, and Alexander Liu, Applied Research Laboratory, The University of Texas at Austin
presentation paper

Keynote Presentation: Secure Manufacturing and Supply Chain Networks
Gabriela Ciocarlie, University of Texas San Antonio

Device-Centric Ransomware Detection using Machine Learning-Based Memory Forensics for Smart Inverters
Alycia Jenkins, Bohyun Ahn, Alve Rahman Akash, and Taesic Kim, Texas A&M University
presentation paper

Invited Presentation: BLOC: A Game-Theoretic Approach to Orchestrate CPS with Check Blocks against Cyber Attacks
Mina Guirguis, Texas State University
presentation

Invited Presentation: How are PLCs Insecure by Design? A story of Experiments and Experiences on Real-world PLC
Irfan Ahmed, Virginia Commonwealth University
presentation