title: Specification-based Intrusion Detection for Hierarchical Hybrid Industrial Control Systems. Computer Science [cs]. Université Grenoble Alpes, 2024. English. &#x27E8;NNT : &#x27E9;. &#x27E8;tel-04586839&#x27E9;
text: 26, 33, 40 [153] Moshe Ya'akov Vardi. An automata-theoretic approach to linear temporal logic. Ban Higher Order Workshop 1995, 1996. 51 [154] Emmanouil Vasilomanolakis, Shankar Karuppayah, Max Mühlhäuser, and Mathias Fischer. Taxonomy and Survey of Collaborative Intrusion Detection. ACM Computing Surveys (CSUR), 47(4):133, 2015. 55 [155] Theodore J Williams. A Reference Model for Computer Integrated Manufacturing from The Viewpoint of Industrial Automation. IFAC Proceedings Volumes, 23(8):281291, 1990. 8, III [156] Konrad Wolsing, Lea Thiemt, Christian van Sloun, Eric Wagner, Klaus Wehrle, and Martin Henze. Can Industrial Intrusion Detection Be SIMPLE? In European Symposium on Research in Computer Security, pages 574594. Springer, 2022. 34, 40 [157] Man-Ki Yoon and Gabriela F Ciocarlie. Communication Pattern Monitoring : Improving the Utility of Anomaly Detection for Industrial Control Systems. In NDSS workshop on security of emerging networking technologies, 2014. 31, 40 [158] Clinton Young, Habeeb Olufowobi, Gedare Bloom, and Joseph Zambreno. Automotive Intrusion Detection Based on Constant CAN Message Frequencies Across Vehicle Driving Modes. In Proceedings of the ACM Workshop on Automotive Cybersecurity, pages 914, 2019. 42 [159] Chunjie Zhou, Shuang Huang, Naixue Xiong, Shuang-Hua Yang, Huiyun Li, Yuanqing Qin, and Xuan Li. Design and Analysis of Multimodel-Based Anomaly Intrusion Detection Systems in Industrial Process Automation. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 45(10):13451360, 2015. 27 [160] Bonnie Zhu and Shankar Sastry. SCADA-specic intrusion detection/prevention systems: a survey and taxonomy. In Proceedings of the 1st workshop on secure control systems (SCS), volume 11, page 7, 2010. 27 [161] Lenore Zuck. Past temporal logic. The Weizmann Institute of Science (Israel), 1986. 49 XVIII Scientic Publications Academic Journal  Hotellier Estelle, Sicard Franck, Francq Julien, and Mocanu Stéphane. Standard Specication-based Intrusion tection for Hierarchical Industrial Control Systems. Information Sciences, 659:Article 120102. Elsevier, 2024. doi: https://doi.org/10.1016/j. ins.2024.120102. Workshop with Proceedings  Sicard Franck, Hotellier Estelle, and Francq Julien. An Industrial Control System Physical Testbed for Naval Defense Cybersecurity Research. In IEEE European Symposium on Security and Privacy Workshops (Euro S & P W), pages 413-422. IEEE, 2022. Conferences without Proceedings  Hotellier Estelle. Introduction to a Behavioral Intrusion Detection Approach for Industrial Control Systems. In Building a Cyber Resilient City, Society, Economy and Infrastructure, Cybersecurity conference. 2023.  Hotellier Estelle. Système de détection d'intrusions pour les bus de terrain CAN, avec Zeek. In BARBHACK Hacking conference. 2021. Masterclasses  Hotellier Estelle. An Innovative Behavioral Approach of Intrusion Detection for Industrial Control Systems. In FIC, Forum International de la Cybersécurité, Session Masterclass. 2023. Other Communications  Hotellier Estelle, Sicard Franck, Francq Julien, and Mocanu Stéphane. Système de détection des intrusions distribué pour les systèmes industriels. In RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information). 2023.  Hotellier Estelle, Sicard Franck, Francq Julien, and Mocanu Stéphane. Behavioral Intrusion Detection Methodology for Hybrid Industrial Control Systems. In RESSI (RendezVous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information). 2022.  Hotellier Estelle. Distributed Intrusion Detection Methodology of Process Oriented Attacks in Industrial Control Systems In Journée thématique du GT SSLR sur la sécurité des réseaux. 2021. XIX Scientic Publications Conferences with Proceedings unrelated to the Ph.D. thesis (additional collaborations)  Verdecchia Roberto, Cruz Luís, Sallou June, Lin Michelle, Wickenden James and Hotellier Estelle. Data-Centric Green AI An Exploratory Empirical Study. In International Conference on ICT for sustainability (ICT4S), pages 35-45. IEEE, 2022.  Sicard Franck, Hotellier Estelle, Pérez-Olivares Javier Zamaï Éric. Optimization of Process-Aware Attack Detection for Industrial Control Systems Security. In 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), pages 889896. IEEE, 2020. XX.