1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems

in conjunction with IEEE Real-Time Systems Symposium

Proceedings

Program

9:30 -   9:40

Welcome

9:40 - 10:30

Setting the Scene

Talks by the organizers and discussions about what CERTS should be, relevant problems and issues.

10:30 - 11:00

Coffee Break

Learning how to survive

11:00 - 11:20

embSFI: An Approach for Software Fault Isolation in Embedded Systems
Andreas Ruhland, Christian Prehofer and Oliver Horst

11:20 - 11:40

CAML: Machine Learning-based Predictable, System-Level Anomaly Detection
Jiguo Song, Gerald Fry, Curt Wu and Gabriel Parmer

11:40 - 12:00

Enforcing Safety and Security Through Non-Intrusive Runtime Verification
Inês Gouveia and José Rufino

12:00 - 13:30

Lunch

13:30 - 14:00

Open issues in Security and Dependability of Critical Embedded Real-Time Systems

Participant Session

Secure and dependable vehicles

14:00 - 14:20

MERgE: Technology Advancement for Cohesion of Concerns in System Engineering
Charles Robinson, Jérôme Pequery and Sam Michiels

14:20 - 14:40

Towards Comprehensive Threat Modeling for Vehicles 
Mohammad Hamad, Marcus Nolte and Vassilis Prevelakis

14:40 - 15:00

Towards a Fail-Operational Intrusion Detection System for In-Vehicle Networks 
Clinton Young, Joseph Zambreno and Gedare Bloom

15:00 - 15:30

Coffee Break

Be secure, but not too late

15:30 - 15:50

ScheduLeak: An Algorithm for Reconstructing Task Schedules in Fixed-Priority Hard Real-Time Systems
Chien-Ying Chen, Amiremad Ghassami, Sibin Mohan, Negar Kiyavash, Rakesh B. Bobba and Rodolfo Pellizzoni

15:50 - 16:10

ReSecure: A Restart-Based Security Protocol for Tightly Actuated Hard Real-Time Systems
Fardin Abdi, Monowar Hasan, Sibin Mohan, Disha Agarwal and Marco Caccamo

16:10 - 16:30

Timing Analysis of Secure Communication between Resource Managers in DREAMS
Gautam Gala, Thomas Koller, Daniel Gracia Pérez, Gerhard Fohler and Christoph Ruland

16:30 - 16:50

A Server Model to Integrate Security Tasks into Fixed-Priority Real-Time Systems
Monowar Hasan, Sibin Mohan, Rakesh Bobba and Rodolfo Pellizzoni

16:50 - 17:00

Closing Remarks

Call for Papers

Download / View the Call For Papers (Text/PDF)

Important Dates

Workshop submission deadline
new: 25th September 2016 (anywhere on earth)

Notification of acceptance
14th October 2016

Final versions
21th October 2016

Workshop
29th November 2016

Main conference
30th November 2016 - 2nd December 2016

Themes

At their heart, many critical systems and system infrastructures are composed of real-time and embedded systems (RTES). For example, RTES control our power grids, maintain our smart homes, steer our vehicles or they host the software in road-side units that allow our vehicles to drive more safely and more efficiently. For sure, they will open the way to even more challenging applications, such as in autonomous and cooperating vehicles, terrestrial or aerial.

However, most of these RTES are distributed or networked, which makes them vulnerable both to accidental faults and targeted attacks and advanced and persistent threats. Worse, compromise of a few nodes may bring down the entire system, in particular if attacks persist.

The grand challenges brought in by these scenarios include ensuring continuous unmaintained operation under faults and attacks. Systems may possibly utilize easier to upgrade computation resources in mobile phones or road side units whose trustworthiness needs to be established while the RTES approaches these units. And while attackers may try to compromise the RTES’ functionality or timing, we seek to protect the integrity and timeliness of systems and the privacy of their users. Mastering these challenges requires the expertise of several research areas, and so, the goal of this workshop is to bring together researchers and engineers from the security and dependability, distributed systems and real-time communities, in order to discuss and promote new and exciting research ideas and initiatives, and to identify and discuss the challenges that lie ahead for such critical applications.

CERTS’16 strives for an inclusive and diverse program and solicits short and long technical papers on open problems, experiments, case studies, new ideas, or future challenges.

Scope and Topics of Interest

CERTS’16 is open to all topics at the intersection of security and dependability of embedded and real-time systems, with an emphasis on criticality and distribution. As such, areas of interest include but are not limited to the following topics:

  • Security and dependability of cyber-physical and other real-time and embedded systems,
  • Vulnerabilities and protective measures of CPS infrastructure,
  • Fault and intrusion tolerant distributed real-time systems,
  • Confidentiality and privacy in real-time and embedded systems, and
  • System architectures encompassing combinations of distribution, security, dependability and timeliness.

Contribution formats include technical presentations of systems, system models and architectures, methods, tools, protocols and infrastructures to improve the dependability and security of real-time systems but also open problems and future challenges papers and experimental papers including experience reports and negative results.

Submission Formats

  • Short Work-in-Progress Paper: up to two pages, standard IEEE format
  • Full Paper: up to six pages, standard IEEE format

Adherence to the format is strict, but we tolerate moderately exceeding the page limit (by up to two pages) if the content so justifies. 

Paper Submission and Formatting Guidelines

Submitted papers must strictly follow the IEEE conference format (2 columns, 10 pt, single-line spacing, A4 paper) and should be submitted in PDF format.

LaTeX and MS Word templates may be found at: http://www.ieee.org/conferences_events/conferences/publishing/templates.html

All submissions will be peer-reviewed by the program committee.

Submission website: https://easychair.org/conferences/?conf=certs2016

Title image: Olegivvit (CC-BY-SA 2.5) original available here

Workshop Organizers

Marcus Völp
Snt-University of Luxembourg
marcus.voelp@uni.lu

Paulo Esteves Veríssimo
SnT-University of Luxembourg
paulo.verissimo@uni.lu

Antonio Casimiro
University of Lisboa
casim@ciencias.ulisboa.pt

Rodolfo Pellizzoni
University of Waterloo
rpellizz@uwaterloo.ca

Program Committee

Lorenzo Alvisi
University of Texas Austin

Iain Bate
University of York

Danny Dolev
Hebrew University

Antonio Augusto-Fröhlich
Federal University of Santa Catarinal

Virgil Gligor
Carnegie Mellon University

Zbigniew T. Kalbarczyk
University of Illinois

Sibin Mohan
University of Illinois

Ravi Prakash
University of Dallas

Sasikumar Punnekkat
Mälardalen University

Robert van Rennesse
Cornell University

Guillermo Rodriguez-Navas
Mälardalen University

José Rufino
University of Lisboa

Lui Raymond Sha
University of Illinois

Elad Schiller
Chalmers University of Technology

Ulrich Schmid
Technische Universität Wien

Marisol Garcia-Valls
Universidad Carlos III de Madrid

Heechul Yun
University of Kansas

Sebastian Zug
University of Magdeburg