© 2020

Computer Security

ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26–27, 2019, Revised Selected Papers

  • Apostolos P. Fournaris
  • Manos Athanatos
  • Konstantinos Lampropoulos
  • Sotiris Ioannidis
  • George Hatzivasilis
  • Ernesto Damiani
  • Habtamu Abie
  • Silvio Ranise
  • Luca Verderame
  • Alberto Siena
  • Joaquin Garcia-Alfaro
Conference proceedings IOSEC 2019, MSTEC 2019, FINSEC 2019

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11981)

Also part of the Security and Cryptology book sub series (LNSC, volume 11981)

Table of contents

  1. Front Matter
    Pages i-xviii
  2. IOSec Workshop

    1. Front Matter
      Pages 1-1
    2. Christos Tselios, George Tsolis, Manos Athanatos
      Pages 3-18
    3. George Christou, Eva Papadogiannaki, Michalis Diamantaris, Livia Torterolo, Panos Chatziadam
      Pages 19-34
    4. Sarang Kahvazadeh, Xavi Masip-Bruin, Pau Marcer, Eva Marín-Tordera
      Pages 35-48
    5. Ievgen Kabin, Zoya Dyka, Dan Klann, Peter Langendoerfer
      Pages 64-76
    6. Paul Sătmărean, Ciprian Oprişa
      Pages 77-90
    7. Manolis Chatzimpyrros, Konstantinos Solomos, Sotiris Ioannidis
      Pages 91-104
  3. MSTEC Workshop

    1. Front Matter
      Pages 105-105
    2. Chiara Braghin, Stelvio Cimato, Ernesto Damiani, Fulvio Frati, Lara Mauri, Elvinia Riccobene
      Pages 107-122
    3. Felix Schuckert, Basel Katt, Hanno Langweg
      Pages 123-139
    4. Umberto Morelli, Lorenzo Nicolodi, Silvio Ranise
      Pages 140-155
    5. Ludger Goeke, Alejandro Quintanar, Kristian Beckers, Sebastian Pape
      Pages 156-171
    6. Iason Somarakis, Michail Smyrlis, Konstantinos Fysarakis, George Spanoudakis
      Pages 172-184
    7. George Hatzivasilis, Panos Chatziadam, Andreas Miaoudakis, Eftychia Lakka, Sotiris Ioannidis, Alessia Alessio et al.
      Pages 185-198
    8. Othonas Soultatos, Konstantinos Fysarakis, George Spanoudakis, Hristo Koshutanski, Ernesto Damiani, Kristian Beckers et al.
      Pages 199-214
  4. FINSEC Workshop

    1. Front Matter
      Pages 215-215
    2. Giuseppe Laurenza, Riccardo Lazzeretti
      Pages 217-225
    3. Ioannis Karagiannis, Konstantinos Mavrogiannis, John Soldatos, Dimitris Drakoulis, Ernesto Troiano, Ariana Polyviou
      Pages 226-241

About these proceedings


This book constitutes the refereed post-conference proceedings of the Second International Workshop on Information & Operational Technology (IT & OT) security systems, IOSec 2019 , the First International Workshop on Model-driven Simulation and Training Environments, MSTEC 2019, and the First International Workshop on Security for Financial Critical Infrastructures and Services, FINSEC 2019, held in Luxembourg City, Luxembourg, in September 2019, in conjunction with the 24th European Symposium on Research in Computer Security, ESORICS 2019.
The IOSec Workshop received 17 submissions from which 7 full papers were selected for presentation. They cover topics related to security architectures and frameworks for enterprises, SMEs, public administration or critical infrastructures, threat models for IT & OT systems and communication networks, cyber-threat detection, classification and pro ling, incident management, security training and awareness, risk assessment safety and security, hardware security, cryptographic engineering, secure software development, malicious code analysis as well as security testing platforms.
From the MSTEC Workshop 7 full papers out of 15 submissions are included. The selected papers deal focus on the verification and validation (V&V) process, which provides the operational community with confidence in knowing that cyber models represent the real world, and discuss how defense training may benefit from cyber models.
The FINSEC Workshop received 8 submissions from which 3 full papers and 1 short paper were accepted for publication. The papers reflect the objective to rethink cyber-security in the light of latest technology developments (e.g., FinTech, cloud computing, blockchain, BigData, AI, Internet-of-Things (IoT), mobile-first services, mobile payments).


hardware security embedded systems security intrusion detection malware mitigation domain-specific security privacy architectures human and societal aspects of security security requirements authentication vulnerability management file system security critical infrastructure security critical financial infrastructure security digital forensics training and security interactive learning environments virtual worlds training simulations simulation and emulation interactive games empirical studies model verification

Editors and affiliations

  1. 1.Industrial Systems Institute/Research Center ATHENAPatrasGreece
  2. 2.Foundation for Research and Technology - Hellas (FORTH)HeraklionGreece
  3. 3.University of PatrasPatrasGreece
  4. 4.Foundation for Research and Technology - Hellas (FORTH)HeraklionGreece
  5. 5.Foundation for Research and Technology - Hellas (FORTH)HeraklionGreece
  6. 6.University of MilanMilanItaly
  7. 7.Norwegian Computing CenterOsloNorway
  8. 8.Fondazione Bruno KesslerTrentoItaly
  9. 9.University of GenoaGenoaItaly
  10. 10.Fondazione Bruno KesslerTrentoItaly
  11. 11.Télécom SudParisEvryFrance

Bibliographic information

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Finance, Business & Banking
Energy, Utilities & Environment