MQT-TZ: Hardening IoT Brokers Using ARM TrustZone : (Practical Experience Report)

2020 International Symposium on Reliable Distributed Systems (SRDS) ◽

10.1109/srds51746.2020.00033 ◽

2020 ◽

Author(s):

Carlos Segarra ◽

Ricard Delgado-Gonzalo ◽

Valerio Schiavoni

Keyword(s):

Practical Experience ◽

Experience Report

Download Full-text

Monitor Based Oracles for Cyber-Physical System Testing: Practical Experience Report

2014 44th Annual IEEE/IFIP International Conference on Dependable Systems and Networks ◽

10.1109/dsn.2014.28 ◽

2014 ◽

Author(s):

Aaron Kane ◽

Thomas Fuhrman ◽

Philip Koopman

Keyword(s):

Physical System ◽

Practical Experience ◽

Experience Report ◽

Cyber Physical System ◽

Download Full-text

Mining Invariants from SaaS Application Logs (Practical Experience Report)

2014 Tenth European Dependable Computing Conference ◽

10.1109/edcc.2014.18 ◽

2014 ◽

Author(s):

Santonu Sarkar ◽

Rajeshwari Ganesan ◽

Marcello Cinque ◽

Flavio Frattini ◽

Stefano Russo ◽

...

Keyword(s):

Practical Experience ◽

Experience Report

Download Full-text

Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum - Practical Experience Report and Ongoing PhD Work

2020 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks-Supplemental Volume (DSN-S) ◽

10.1109/dsn-s50200.2020.00039 ◽

2020 ◽

Author(s):

Paulo Silva

Keyword(s):

Practical Experience ◽

Experience Report

Download Full-text

Practical Experience Report: Implementation, Verification and Validation of a Safe and Secure Communication Protocol for the Railway Domain

2019 9th Latin-American Symposium on Dependable Computing (LADC) ◽

10.1109/ladc48089.2019.8995727 ◽

2019 ◽

Author(s):

Duccio Bertieri ◽

Tommaso Zoppi ◽

Innocenzo Mungiello ◽

Andrea Ceccarelli ◽

Mario Barbareschi ◽

...

Keyword(s):

Secure Communication ◽

Communication Protocol ◽

Practical Experience ◽

Experience Report ◽

Verification And Validation ◽

Download Full-text

Honeypots: practical means to validate malicious fault assumptions practical experience report

10th IEEE Pacific Rim International Symposium on Dependable Computing, 2004. Proceedings. ◽

10.1109/prdc.2004.1276594 ◽

2004 ◽

Author(s):

M. Dacier ◽

F. Pouget ◽

H. Debar

Keyword(s):

Practical Experience ◽

Experience Report

Download Full-text

Equipping WAP with WEAPONS to Detect Vulnerabilities: Practical Experience Report

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ◽

10.1109/dsn.2016.63 ◽

2016 ◽

Author(s):

Iberia Medeiros ◽

Nuno Neves ◽

Miguel Correia

Keyword(s):

Practical Experience ◽

Experience Report

Download Full-text

Characterizing the Consistency of Online Services (Practical Experience Report)

2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) ◽

10.1109/dsn.2016.64 ◽

2016 ◽

Author(s):

Filipe Freitas ◽

Joao Leitao ◽

Nuno Preguica ◽

Rodrigo Rodrigues

Keyword(s):

Practical Experience ◽

Experience Report ◽

Online Services

Download Full-text

Practical Experience Report: Automotive Safety Practices vs. Accepted Principles

Developments in Language Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-319-99130-6_1 ◽

2018 ◽

pp. 3-11 ◽

Author(s):

Philip Koopman

Keyword(s):

Practical Experience ◽

Experience Report ◽

Automotive Safety ◽

Safety Practices

Download Full-text

Practical Experience Report: Engineering Safe Deep Neural Networks for Automated Driving Systems

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

10.1007/978-3-030-26601-1_16 ◽

2019 ◽

pp. 235-244

Author(s):

Jelena Frtunikj

Keyword(s):

Neural Networks ◽

Deep Neural Networks ◽

Practical Experience ◽

Experience Report ◽

Automated Driving

Download Full-text

Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report

2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC) ◽

10.1109/prdc.2017.34 ◽

2017 ◽

Author(s):

Bernard Lim ◽

Daniel Chen ◽

Yongkyu An ◽

Zbigniew Kalbarczyk ◽

Ravishankar Iyer

Keyword(s):

Power Plant ◽

Nuclear Power Plant ◽

Nuclear Power ◽

Practical Experience ◽

Safety System ◽

Experience Report ◽

Download Full-text