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

Accepted papers

The following papers have been accepted for presentation in the EDCC 2018 main conference track:

• 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)