Invited talks and accepted papers

Invited Talks - Keynote Speakers
  • Christian Cachin (IBM Research - Zurich) “Blockchains and consensus protocols”
  • Andreas Eckel (TTTech) “It is a Disruptive World with Exponential Development: Expected Trends in Embedded Systems, with a Special Focus on the Automotive Industry and its likely Effects on Industry and Society”
Industry Day
  • Roberto Natella (CRITIWARE). “Advancing Fault Injection and Dependability Evaluation in the Software-Driven Telecom Industry”
  • Francisco Maia (SafeCloud Technologies). “Data management and privacy in a world of data wealth”
  • Hans-Peter Schwefel (GridData). “ICT and Data-Management for Dependability of Electricity Distribution Grids”
  • Antonio Bovenzi (Banca D'Italia). “Importance of Automation Tools to Develop and Operate Reliable Services”
Accepted Papers
  • Ilya Tuzov, David de Andrés and Juan Carlos Ruiz. “Accurately simulating the effects of faults in VHDL models described at the implementation-level”
  • Yazdan Movahedi, Michel Cukier, Ambrose Andongabo and Ilir Gashi. “Cluster-based Vulnerability Assessment Applied to Operating Systems”
  • Vidhya Tekken Valapil and Sandeep Kulkarni. “Preserving Stabilization while Practically Bounding State Space”
  • Michael Eischer and Tobias Distler. “Scalable Byzantine Fault Tolerance on Heterogeneous Servers”
  • Ryan Slechta, Laura Monroe, Nathan Debardeleben, Qiang Guan, Joanne Wendelberger and Sarah Michalak. “Resilience Analysis of Top K Selection Algorithm”
  • William Excoffon, Jean-Charles Fabre and Michaël Lauer. “Analysis of Adaptive Fault Tolerance for Resilient Computing”
  • Lars Nagel and Tim Suess. “Computing the Probability for Data Loss in Two-dimensional Parity RAIDs”
  • Georg Macher, Markus Bachinger, Michael Stolz. “Embedded Multi-Core System for Design of Next Generation Powertrain Control Units”
  • Raul Barbosa, Frederico Cerveira, Marta Mercier and Henrique Madeira . “On the Emulation of Vulnerabilities through Software Fault Injection”
  • Kazuto Shigihara, Shinya Honda and Hiroaki Takada. “Test Program Generator for AUTOSAR OS”
  • Ghazal Zamani and Olivia Das. “Impact of a Fault Management Architecture on the Performance of a Component-based System”
  • Omar Jaradat and Iain Bate. “Using Safety Contracts to Guide the Maintenance of Systems and Safety Cases”
  • Omar Jaradat, Irfan Sljivo, Ibrahim Habli and Richard Hawkins. “Challenges of Safety Assurance for Industry 4.0”
  • Luke Martin, Alexander Romanovsky. “An Approach for Designing Knowledge-based Systems for High-Integrity Applications”
  • Hebert Silva, Tania Basso and Regina Moraes. “Privacy and data mining: evaluating the impact of data anonymization on classification algorithms”
  • Manuel Barbosa, Sonia Ben Mokhtar, Pascal Felber, Francisco Maia, Miguel Matos, Rui Oliveira, Etienne Rivière, Valerio Schiavoni and Spyros Voulgaris. “SAFETHINGS: Data Security by Design in the IoT”
  • Paulo Nunes, Ibéria Medeiros, José Fonseca, Nuno Neves, Miguel Correia, Marco Vieira. “On Combining Diverse Static Analysis Tools for Web Security: An Empirical Study”
  • Ivano Alessandro Elia, Nuno Antunes, Nuno Laranjeiro and Marco Vieira. “An Analysis of OpenStack Vulnerabilities”
  • Ambrose Andongabo and Ilir Gashi. “vepRisk - A Web Based Analysis Tool for Public Security Data”
  • Kevin Bock, Sydnee Shannon, Yazdan Movahedi and Michel Cukier. “Application of Routine Activity Theory to Cyber Intrusion Location and Time”
  • Jonathan Roux, Éric Alata, Guillaume Auriol, Vincent Nicomette and Mohamed Kaâniche. “Toward an Intrusion Detection Approach for IoT based on Radio Communications Profiling”
  • Leonardo Aniello, Roberto Baldoni, Edoardo Gaetani, Federico Lombardi, Andrea Margheri and Vladimiro Sassone. “A Prototype Evaluation of a Tamper-resistant High Performance Blockchain-based Transaction Log for a Distributed Database”