Abstract is missing.
- Session details: Session 4: Industrial Control and SCADA Systems [doi]
- Session details: Session 3: Security and Safety Analysis [doi]
- Session details: Session 2: Intrusion and Anomaly detection [doi]
- High-Performance Unsupervised Anomaly Detection for Cyber-Physical System NetworksPeter Schneider, Konstantin Böttinger. 1-12 [doi]
- Learning Based Anomaly Detection for Industrial Arm ApplicationsVedanth Narayanan, Rakesh B. Bobba. 13-23 [doi]
- CORGIDS: A Correlation-based Generic Intrusion Detection SystemEkta Aggarwal, Mehdi Karimibiuki, Karthik Pattabiraman, André Ivanov. 24-35 [doi]
- A Specification-based State Replication Approach for Digital TwinsMatthias Eckhart, Andreas Ekelhart. 36-47 [doi]
- Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow ControlJed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark Campbell. 48-59 [doi]
- Statistical Model Checking of Distance Fraud Attacks on the Hancke-Kuhn Family of ProtocolsMusab A. AlTurki, Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn L. Talcott. 60-71 [doi]
- Detecting Cyber Attacks in Industrial Control Systems Using Convolutional Neural NetworksMoshe Kravchik, Asaf Shabtai. 72-83 [doi]
- Temporal Phase Shifts in SCADA NetworksChen Markman, Avishai Wool, Alvaro A. Cárdenas. 84-89 [doi]
- ACE: Advanced CIP EvaluatorKiel Gordon, Matthew Davis, Zachary Birnbaum, Andrey M. Dolgikh. 90-101 [doi]
- Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good useSimon N. Foley, Fabien Autrel, Edwin Bourget, Thomas Clédel, Stephane Grunenwald, Jose Rubio-Hernan, Alexandre Kabil, Raphael Larsen, Vivien M. Rooney, Kirsten Vanhulst. 102-107 [doi]