default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID50th DSN 2020: Valencia, Spain - Supplemental Volume
- 50th Annual IEEE-IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 - Supplemental Volume. IEEE 2020, ISBN 978-1-7281-7260-6
Industry Track
Session 1 - Cyber-Physical Systems and Autonomous Systems
- Deborah S. Katz, Milda Zizyte, Casidhe Hutchison, David Guttendorf, Patrick E. Lanigan, Eric M. Sample, Philip Koopman, Michael Wagner, Claire Le Goues
:
Robustness Inside Out Testing. 1-4 - Marine Kadar, Sergey Tverdyshev, Gerhard Fohler:
Towards Host Intrusion Detection for Embedded Industrial Systems. 5-8 - Ayhan Mehmed, Moritz Antlanger, Wilfried Steiner:
The Monitor as Key Architecture Element for Safe Self-Driving Cars. 9-12
Session 2 - ML For Dependable and Secure Systems
- Fan Fred Lin, Antonio Davoli, Imran Akbar, Sukumar Kalmanje, Leandro Silva, John Stamford, Yanai Golany, Jim Piazza, Sriram Sankar:
Predicting Remediations for Hardware Failures in Large-Scale Datacenters. 13-16 - Hongzhang Yang, Zongzhao Li, Huiyuan Qiang, Zhongliang Li, Yaofeng Tu, Yahui Yang:
ZTE-Predictor: Disk Failure Prediction System Based on LSTM. 17-20 - Changchang Liu, Wei-Han Lee, Seraphin B. Calo:
Neuraltran: Optimal Data Transformation for Privacy-Preserving Machine Learning by Leveraging Neural Networks. 21-24
Session 3 - Networks
- Kazim Ergun, Xiaofan Yu, Nitish Nagesh, Ludmila Cherkasova, Pietro Mercati, Raid Ayoub, Tajana Rosing:
Simulating Reliability of IoT Networks with RelIoT. 25-28 - Nathan D. Mickulicz, Priya Narasimhan:
Performance-Aware Wi-Fi Problem Diagnosis and Mitigation through Peer-to-Peer Data Sharing. 29-32
Session 4 - Panel
Session 5 - Modelling and Knowledge Representation
- Georgios Bakirtzis, Garrett L. Ward, Christopher J. Deloglos, Carl R. Elks, Barry M. Horowitz, Cody H. Fleming:
Fundamental Challenges of Cyber-Physical Systems Security Modeling. 33-36 - Borja López, José María Álvarez Rodríguez, Eugenio Parra, Jose Luis de la Vara:
Ontology Configuration Management for Knowledge-Centric Systems Engineering in Industry. 37-40
Fast Abstracts
Session 1
- Philipp Jeitner, Haya Schulmann, Michael Waidner:
Secure Consensus Generation with Distributed DoH. 41-42 - Dong Seong Kim, Minjune Kim, Jin-Hee Cho, Hyuk Lim, Terrence J. Moore, Frederica Free-Nelson:
Design and Performance Analysis of Software Defined Networking Based Web Services Adopting Moving Target Defense. 43-44 - Mariusz Mazurek, Tomasz Rymarczyk, Grzegorz Klosowski, Michal Maj, Przemyslaw Adamkiewicz:
Tomographic Measuring Sensors System for Analysis and Visualization of Technological Processes. 45-46
Session 2
- Kris Shrishak, Haya Schulmann:
MPC for Securing Internet Infrastructure. 47-48 - Philipp Jeitner, Haya Schulmann, Michael Waidner:
Pitfalls of Provably Secure Systems in Internet the Case of Chronos-NTP. 49-50 - Seyed Mehdi Fattahi, Adetokunbo Makanju, Amin Milani Fard:
SIMBA: An Efficient Simulator for Blockchain Applications. 51-52
Session 3
- Martín Barrère, Chris Hankin:
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSAT. 53-54 - Ibéria Medeiros, Nuno Neves:
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web Applications. 55-56 - Dong Seong Kim, Kok Onn Chee, Mengmeng Ge:
A Novel Graphical Security Model for Evolving Cyber Attacks in Internet of Things. 57-58
Session 4
- Daniel Hu, Calvin Henry, Saurabh Bagchi:
The Effect of Motion on PPG Heart Rate Sensors. 59-60 - Kshitiz Goel, Abhishek Bhaumick, Deepika Kaushal, Saurabh Bagchi:
Reliability Analysis of Edge Scenarios Using Pedestrian Mobility. 61-62 - Bartosz Przysucha, Tomasz Rymarczyk, Dariusz Wójcik, Michal Wos, Andrés Véjar:
Improving the Dependability of the ECG Signal for Classification of Heart Diseases. 63-64
Doctoral Forum
- Cláudio Correia:
Safeguarding Data Consistency at the Edge. 65-66 - Gargi Mitra:
Depending on HTTP/2 for Privacy? Good Luck! 67-68 - Rania Talbi:
Towards Practical Privacy-Preserving Collaborative Machine Learning at a Scale. 69-70 - Ligeng Chen:
What Exactly Determines the Type? Inferring Types with Context. 71-72 - Paulo Silva:
Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum - Practical Experience Report and Ongoing PhD Work. 73-74 - Jiyeon Lee:
CanvasMirror: Secure Integration of Third-Party Libraries in a WebVR Environment. 75-76 - Soheila Sheikh Bahaei:
A Framework for Risk Assessment in Augmented Reality-Equipped Socio-Technical Systems. 77-78
Tutorials
- Alberto Bosio, Ramon Canal, Stefano Di Carlo, Dimitris Gizopoulos, Alessandro Savino:
Cross-Layer Soft-Error Resilience Analysis of Computing Systems. 79 - Yiannis Psaras, David Dias:
The InterPlanetary File System and the Filecoin Network. 80 - Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli:
Into the Unknown: Unsupervised Machine Learning Algorithms for Anomaly-Based Intrusion Detection. 81
Best of SELSE
- Sergi Alcaide Portet, Leonidas Kosmidis, Carles Hernández, Jaume Abella:
Software-Only Triple Diverse Redundancy on GPUs for Autonomous Driving Platforms. 82-88 - Dongning Ma, Xun Jiao:
A Machine Learning-Based Error Model of Voltage-Scaled Circuits. 89-91 - Daniel Oliveira, Sean Blanchard, Nathan DeBardeleben, Fermando Santos, Gabriel Piscoya Dávila, Philippe Olivier Alexandre Navaux, Stephen Wender, Carlo Cazzaniga, Christopher Frost, Robert C. Baumann, Paolo Rech:
An Overview of the Risk Posed by Thermal Neutrons to the Reliability of Computing Devices. 92-97
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
