14th European Dependable Computing Conference
10-14 September 2018
Iasi, Romania

 

Accepted papers

  • A Message-Passing Based Algorithm for k-Terminal Reliability (Minh Lê and Josef Weidendorfer)
  • Finding SQL Injection and Cross Site Scripting Vulnerabilities with Diverse Static Analysis Tools (Areej Algaith, Paulo Jorge Costa Nunes, Jose Carlos Coelho Martins Fonseca, Ilir Gashi and Marco Vieira)
  • Accurate Robustness Assessment of HDL Models through Iterative Statistical Fault Injection (Ilya Tuzov, David De Andrés and Juan Carlos Ruiz)
  • Resource-Efficient State Machine Replication with Multithreading and Vertical Scaling (Gerhard Habiger, Franz J. Hauck, Johannes Köstler and Hans P. Reiser)
  • A Study of the Interplay Between Safety and Security Using Model-Implemented Fault Injection (Behrooz Sangchoolie, Peter Folkesson and Jonny Vinter)
  • Detecting Network Threats using OSINT Knowledge-based IDS (Ivo Vacas, Ibéria Medeiros and Nuno Neves)
  • On Soft Errors and Programming Languages (Frederico Cerveira, Alcides Fonseca, Raul Barbosa and Henrique Madeira)
  • Study of Machine Learning Techniques for Supporting Failure Prediction (João Campos, Marco Vieira and Ernesto Costa)
  • Optimal Deployment of Security Policies: Application to Industrial Control Systems (Ziad Ismail, Jean Leneutre and Alia Fourati)
  • Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection (Dimitry Solet, Mikaël Briday, Jean-Luc Béchennec, Sébastien Faucou and Sébastien Pillement)
  • Exploiting new CPU Extensions for Secure Exchange of eHealth Data at the EU level (Luigi Coppolino, Salvatore D'Antonio, Giovanni Mazzeo, Luigi Romano and Luigi Sgaglione)
  • Validation of Safety Necessities for a Safety-Bag Component in Experimental Autonomous Vehicles (Manel Brini, Paul Crubillé, Benjamin Lussier and Walter Schön)
  • A Systematic Process for Applying the CHESS Methodology in the Creation of Certifiable Evidence (André Luiz de Oliveira, Lucas Paiva Bressan, Leonardo Montecchi and Barbara Gallina)
  • Assessing Containerized REST Services Performance in the Presence of Operator Faults (Mariana Cunha and Nuno Laranjeiro)
  • A Re-identification Risk-based Anonymization Framework for Data Analytics Platforms (Hebert Silva, Tania Basso, Regina Moraes, Donatello Elia and Sandro Fiore)
  • Fault-tolerance Evaluation of a Distributed Relational Database (Marta Patino, Ainhoa Azqueta, Valerio Vianello and Ricardo Jimenez-Peris)
  • Contextual Anomaly Detection for a Critical Industrial System based on Logs and Metrics (Mostafa Farshchi, Ingo Weber, Raffaele Dellacorte, Antonio Pecchia, Marcello Cinque, Jean-Guy Schneider and John Grundy)
  • Detection of Integrity Attacks to SmartGrids Using Process Mining and Time-evolving Causal Graphs (Simona Bernardi, Raquel Trillo-Lado and José Merseguer)
  • An Exploratory Study on Zeroconf Monitoring of Microservices Systems (Marcello Cinque, Raffaele Della Corte, Raffaele Iorio and Antonio Pecchia)
  • Towards Safety-Awareness and Dynamic Safety Management (Mario Trapp, Daniel Schneider and Gereon Weiss)
  • An Efficient Strategy for Model Composition in the Mobius Modeling Environment (Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico, William H. Sanders and Brett Feddersen)