Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 29)

H-INDEX

(FIVE YEARS 1)

Published By Springer International Publishing

9783030545482, 9783030545499

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_10 ◽

2020 ◽

pp. 150-163

Author(s):

Christopher Deloglos ◽

Carl Elks ◽

Ashraf Tantawy

Keyword(s):

Cyber Physical Systems ◽

Modeling Framework ◽

Physical Systems ◽

Systems Security

Download Full-text

On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_28 ◽

2020 ◽

pp. 419-433 ◽

Cited By ~ 1

Author(s):

João R. Campos ◽

Ernesto Costa ◽

Marco Vieira

Keyword(s):

Fault Injection

Download Full-text

Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_22 ◽

2020 ◽

pp. 325-340

Author(s):

Dominik Püllen ◽

Nikolaos Anagnostopoulos ◽

Tolga Arul ◽

Stefan Katzenbeisser

Keyword(s):

Road Vehicle ◽

Iec 62443

Download Full-text

Cyber-Security of Neural Networks in Medical Devices

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_19 ◽

2020 ◽

pp. 289-297

Author(s):

Uwe Becker

Keyword(s):

Neural Networks ◽

Medical Devices ◽

Cyber Security

Download Full-text

Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_11 ◽

2020 ◽

pp. 164-178

Author(s):

Markus Heinrich ◽

Dominik Renkel ◽

Tolga Arul ◽

Stefan Katzenbeisser

Keyword(s):

Neural Networks ◽

Anomaly Detection ◽

Railway Signalling

Download Full-text

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_17 ◽

2020 ◽

pp. 260-269

Author(s):

Rob Ashmore ◽

James Sharp

Download Full-text

A Compositional Semantics for Repairable BDMPs

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_6 ◽

2020 ◽

pp. 82-98

Author(s):

Shahid Khan ◽

Joost-Pieter Katoen ◽

Marc Bouissou

Keyword(s):

Compositional Semantics

Download Full-text

Safety-Aware Hardening of 3D Object Detection Neural Network Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_14 ◽

2020 ◽

pp. 213-227

Author(s):

Chih-Hong Cheng

Keyword(s):

Neural Network ◽

Object Detection ◽

Network Systems ◽

3D Object ◽

3D Object Detection

Download Full-text

Quantifying Assurance in Learning-Enabled Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_18 ◽

2020 ◽

pp. 270-286

Author(s):

Erfan Asaadi ◽

Ewen Denney ◽

Ganesh Pai

Download Full-text

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-030-54549-9_13 ◽

2020 ◽

pp. 197-212

Author(s):

Lydia Gauerhof ◽

Richard Hawkins ◽

Chiara Picardi ◽

Colin Paterson ◽

Yuki Hagiwara ◽

...

Keyword(s):

Machine Learning ◽

Pedestrian Detection

Download Full-text

Lecture Notes in Computer Science - Computer Safety, Reliability, and SecurityLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

An Attacker Modeling Framework for the Assessment of Cyber-Physical Systems Security

On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study

Safety Meets Security: Using IEC 62443 for a Highly Automated Road Vehicle

Cyber-Security of Neural Networks in Medical Devices

Predicting Railway Signalling Commands Using Neural Networks for Anomaly Detection

Assurance Argument Elements for Off-the-Shelf, Complex Computational Hardware

A Compositional Semantics for Repairable BDMPs

Safety-Aware Hardening of 3D Object Detection Neural Network Systems

Quantifying Assurance in Learning-Enabled Systems

Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security
Latest Publications