June 29, 2020
15:00 – 18:30 (CEST).
The DSN Workshop on Dependable and Secure Machine Learning (DSML) is an open forum for researchers, practitioners, and regulatory experts, to present and discuss innovative ideas and practical techniques and tools for producing dependable and secure machine learning (ML) systems. A major goal of the workshop is to draw the attention of the research community to the problem of establishing guarantees of reliability, security, safety, and robustness for systems that incorporate increasingly complex ML models, and to the challenge of determining whether such systems can comply with the requirements for safety-critical systems. A further goal is to build a research community at the intersection of machine learning and dependable and secure computing.
The program of the workshop is available here.
Dependability and security are of the utmost importance for computing systems. Due to the scale and complexity of current systems, both aspects are a permanent and growing concern in industry and academia. On the one hand, the volume and diversity of functional and non-functional data, including open source information, along with increasingly dynamical operating environments, create additional obstacles to the dependability and security of systems. On the other hand, it creates an information rich environment that, leveraged by techniques from modern data science, machine and statistical learning, and visualization, will contribute to improve systems resilience in contexts of dynamic operating environments and unexpected operating conditions. As such, there is a strong demand for production-ready systems leveraging from data-centric solutions able to improve and, adaptively, maintain the dependability and security of computing systems.
The workshop on Data-Centric Dependability and Security (DCDS) aims at providing researchers with a forum to exchange and discuss scientific contributions and open challenges, both theoretical and practical, related to the use of data-centric approaches that promote the dependability and cybersecurity of computing systems. We want to foster joint work and knowledge exchange between the dependability and security communities, and researchers and practitioners from areas such as machine and statistical learning, and data science and visualization. The workshop provides a forum for discussing novel trends in data-centric processing technologies and the role of such technologies in the development of resilient systems. It aims to discuss novel approaches for processing and analysing data generated by the systems as well as information gathered from open sources, leveraging from data science, machine and statistical learning techniques, and visualization. The workshop shall contribute to identify new application areas as well as open and future research problems, for data-centric approaches to system dependability and security.
The program of the workshop can be checked here.
A number of high-performance computing (HPC) commercial off-the-shelf (COTS) platforms offer the computation capabilities needed by autonomous systems in domains such as automotive, space, avionics, robotics and factory automation by means of multicores, GPUs and specialized accelerators. Unfortunately, the utilization of HPC platforms has been traditionally considered out of the reach for the safety-critical systems industry due to the difficulties or roadblocks these platforms bring to the certification process. This workshop focuses on the research towards the adoption of HPC hardware and software platforms in the context of safety- and security-critical applications. In particular, the scope of the workshop includes functional-safety and security requirements for HPC systems, including but not limited to non-functional aspects such as time predictability and energy consumption.
Topics of interest
- High-performance critical real-time systems
- Dependable systems and safety mechanisms
- Hardware and Software security in safety-critical systems
Carles Hernàndez (Universitat Politènica de València)
Jaume Abella (Barcelona Supercomputing Center)
Mikel Azkarate-askatsua (Ikerlan)
Roman Obermaisser (University of Siegen)
The program of the workshop can be checked here.
Over the last years, aerial and ground vehicles as well as mobile robot systems have been receiving an increased number of electronic components, connected through wireless networks and running embedded software. As processing power increases and software becomes more sophisticated, these vehicles gain the ability to perform complex operations, becoming more autonomous, safe, efficient, adaptable, comfortable and usable. These are known as Intelligent Vehicles.
This will be the sixth edition of the workshop, aiming at continuing the success of previous editions. The vast range of open challenges to achieve Safety and Security in Intelligent Vehicles (with or without connection with the Internet) is a fundamental reason that justifies the numerous research initiatives and wide discussion on these matters, which we are currently observing everywhere. Therefore, the workshop will keep its focus on exploring the challenges and interdependencies between security, real-time, safety and certification, which emerge when introducing networked, autonomous and cooperative functionalities.
AI and Reliability Trends in Safety Critical Autonomous Systems on Ground and AirJyotika Athavale (Intel), Michael Paulitsch (Intel), Andrea Baldovin (Intel), Ralf Graefe (Intel), and Rafael Rosales (Intel)
Reward Tuning for self-adaptive Policy in MDP based Distributed Decision-Making to ensure a Secure Mission PlanningMohand Hamadouche (Lab-STICC, CNRS), Catherine Dezan (Lab-STICC, CNRS), and Kalinka Regina Lucas Jauqie Castelo Branco (Universidade de Sao Paulo)
The Quantitative Risk Norm - A Proposed Tailoring of HARA for ADSFredrik Warg (RISE Research Institutes of Sweden), Rolf Johansson (Autonomous Intelligent Driving), Martin Sanfridson (Volvo Technology AB), Mattias Brännström (Zenuity AB), Magnus Gyllenhammar (Zenuity AB), Martin Skoglund (RISE Research Institutes of Sweden) and Anders Thorsén (RISE Research Institutes of Sweden)
Analysis of Cybersecurity Mechanisms with respect to Dependability and Security AttributesBehrooz Sangchoolie (Dependable Transport Systems, RISE Research Institutes of Sweden), Peter Folkesson (Dependable Transport Systems, RISE Research Institutes of Sweden), Pierre Kleberger (Dependable Transport Systems, RISE Research Institutes of Sweden) and Jonny Vinter (Dependable Transport Systems, RISE Research Institutes of Sweden)
Exploring Fault Parameter Space using Reinforcement Learning-based Fault InjectionMehrdad Moradi (University of Antwerp and Flanders Make vzw), Bentley James Oakes (University of Antwerp and Flanders Make vzw), Mustafa Saraoglu (Technische Universitat Dresden), Andrey Morozov (Technische Universitat Dresden), Klaus Janschek (Technische Universitat Dresden) and Joachim Denil (University of Antwerp and Flanders Make vzw)
Flexible Deployment and Enforcement of Flight and Privacy Restrictions for Drone ApplicationsNasos Grigoropoulos (University of Thessaly) and Spyros Lalis (University of Thessaly)
Conceptual Design of Human-Drone Communication in Collaborative EnvironmentsHans Dermot Doran (Institute of Embedded Systems, ZHAW), Monika Reif (Institute of Applied Mathematics and Physics, ZHAW), Marco Oehler (Zurich University of Applied Sciences), Curdin Stöhr (Zurich University of Applied Sciences), and Pierluigi Capone (Centre for Aviation, ZHAW).
A hierarchical fault tolerant architecture for an autonomous robotFavier Anthony (LAAS-CNRS, INPT ENSEEIHT - University of Toulouse), Messioux Antonin (LAAS-CNRS, INPT ENSEEIHT, University of Toulouse), Jérémie Guiochet (LAAS-CNRS,UPS, INPT, University of Toulouse), Jean-Charles Fabre (LAAS-CNRS, UPS, INPT, University of Toulouse) and Charles Lesire (ONERA/DTIS, University of Toulouse).
"Future Challenges in Safety and Security of Intelligent Vehicle"
- Mario Trapp (Fraunhofer IKS, Germany)
- Sibin Mohan (University of Illinois, USA)
- Miriam Gruber (BMW, Germany)
- Behrooz Sangchoolie (RISE, Sweden)
15:00 – 18:00 (CEST).
Cross-Layer Soft-Error Resilience Analysis of Computing Systems
In a world with computation at the epicenter of every activity, computing systems must be highly resilient to errors even if miniaturization makes the underlying hardware unreliable. Techniques able to guarantee high reliability are associated to high costs. Early resilience analysis has the potential to support informed design decisions to maximize system-level reliability while minimizing the associated costs. This tutorial focuses on early cross-layer (hardware and software) resilience analysis considering the full computing continuum (from IoT/CPS to HPC applications) with emphasis on soft errors. The tutorial will guide attendees from the definition of the problem down to the proper modeling and design exploration strategies considering the full system stack (i.e., from circuit to software).
- Provide a deep understanding of the cross-layer impact of hardware faults on the full system
stack, taking into account all derating factors from technology (silicon) to software.
- Describe and analyze methodologies and tools for the evaluation of the resilience of each
system layer (i.e., circuit, microarchitecture, and software).
- Illustrate how specific approaches for resilience analysis working at different layers of the
system stack can be integrated to provide full system level analysis.
- Showcase the accuracy, strengths and weaknesses of the presented techniques.
Students, researchers and practitioners working on computing systems hardware and software design, with concerns about the impact of hardware faults on the full system level operation.
It is expected a basic understanding of computing systems hardware and software such as: logic design, computer architecture and microarchitecture, operating systems and programming. Some basic background on hardware defect mechanisms, fault and error modeling.
The tutorial is organized in an incremental manner. It starts with an introduction to reliability and cross-layer techniques followed by the main techniques applied at each abstraction level (e.g., circuits, architecture and software). The last part is focused on the most advanced concepts of stochastic cross-layer modelling, analysis and optimization. The agenda will be:
- Introduction – Basic Concepts, Terminology (30 minutes)
- Technology level resilience assessments (30 minutes)
- Microarchitecture level resilience assessments (30 minutes)
- Software level resilience assessments (30 minutes)
- Stochastic based approach for System level resilience assessments (30 minutes)
- Alberto Bosio, École Centrale de Lyon, France
- Stefano Di Carlo, Politecnico di Torino, Italy
- Alessandro Savino, Politecnico di Torino, Italy
- Dimitris Gizopoulos, University of Athens, Greece
- Ramón Canal, Universitat Politècnica de Catalunya and Barcelona Supercomputing Center, Spain
Into the Unknown: Unsupervised ML Algorithms for Anomaly-Based Intrusion Detection
One of the open challenges of past and recent systems is to identify errors before they escalate into failures. To such extent, most of the Error Detectors or enterprise Intrusion Detection Systems adopt signature-based detection algorithms, which consist of looking for predefined patterns (or "signatures") in the monitored data in order to detect an error or an ongoing attack. Data is usually seen as a flow of data points, which represent observations of the values of the indicators at a given time. Signature-based approaches usually score high detection capabilities and low false positive rates when experimenting known errors or attacks, but they cannot effectively adapt their behaviour when systems evolve or when their configuration is modified. As an additional consequence, signature-based approaches are not meant to detect zero day attacks, which are novel attacks that cannot be matched to any known signature. Moreover, when a zero-day attack that exploit newly added or undiscovered system vulnerabilities is identified, its signature needs to be derived and added as a new rule to the IDS.
To deal with unknowns, research moved to techniques suited to detect unseen, novel attacks. Anomaly detectors are based on the assumption that an attack generates observable deviations from an expected – normal – behaviour. Briefly, they aim at finding patterns in data that do not conform to the expected behaviour of a system: such patterns are known as anomalies. Once an expected behaviour is defined, anomaly detectors target deviations from such expectations, protecting against known attacks, zero-day attacks and emerging threats. To such extent, most of the anomaly detection algorithms are unsupervised, suiting the detection, among others, of unknown errors or zero-day attacks, without requiring labels in training data
The primary learning objectives of the tutorial are to demonstrate the capability of unsupervised learning algorithm to detect cyber-attacks and in particular zero-day attacks, and to instruct the attendees on the process to perform a well-crafted evaluation campaign.
In fact, after showing the current threat landscape as expanded by technical reports of agencies as ENISA, we will introduce anomaly detection, which is acknowledged as the most reliable answer to the detection of unknown errors or attacks. The participants will understand and use unsupervised algorithms that are particularly suited for anomaly detection, the main families and the differences in the way they decide if a data point is anomalous or normal. Participants will be involved in an hands-on session by using the RELOAD tool, which allows executing unsupervised anomaly detection algorithms and observing metric scores they provide on different datasets. This hands-on session, which can be conducted individually or in groups, will originate the final session which will constitute the final takeover of the tutorial, based both on participants activities and organizers’ experience in the domain.
The RELOAD tutorial targets anyone who is interested in the application of unsupervised ML algorithms for intrusion detection, with PhD students or young researchers as primary target audience. Consequently, we expect a remarkable amount of conference attendees to be interested in the topics of this tutorial, which targets beginners, with some content for intermediate. In fact, the tool to be used in the hand-on session will allow PhD students, researchers and practitioners who are starting to explore the discipline to get their first quantitative estimation of attack detection capabilities of algorithms, hiding implementation details which may be difficult to control at a first stage.
The tutorial will be composed by the following blocks.
- B1. Digression on the Current Threat Landscape (10% of tutorial time). Starting from public reports e.g., ENISA, we will describe the current state of cyber-attacks.
- B2. Anomaly-Based Intrusion Detection (15% of tutorial time). This part highlights some key terms and components that will be used in the rest of the tutorial, alongside with its role in detecting intrusions.
- B3. Unsupervised Algorithms and their Characteristics (10% of tutorial time). We will introduce some of the most common algorithms to be used for unsupervised anomaly detection.
- B4. Presentation of the RELOAD Tool (15% of tutorial time): This part will let the audience understand what the RELOAD tool offers, and how to use the RELOAD tool for executing unsupervised algorithms.
- B5. Hands-On Session (40% of tutorial time): the attendees can use the tool to perform intrusion detection on public attack datasets that are previously downloaded by the organizers and shared with the slides.
- B6. Wrap-up and Final Discussion (10% of tutorial time): Results obtained during hand-on session will be discussed together with the audience, originating final discussions. We will prepare spare material for enriching the discussion, expanding on already existing studies.
- Tommaso Zoppi, University of Florence, Italy
- Andrea Ceccarelli, University of Florence, Italy
- Andrea Bondavalli, University of Florence, Italy
The InterPlanetary File System and the filecoin network
The InterPlanetary File System (IPFS) is a peer-to-peer content-addressable distributed file
system that seeks to connect all computing devices with the same system of files. It is an
and a global community of millions of users.
IPFS resembles past and present efforts to build and deploy Information-Centric Networking
approaches to content storage, resolution, distribution and delivery. IPFS and libp2p , which is
the modular network stack of IPFS, are based on name-resolution based routing. The resolution
system is based on Kademlia DHT and content is addressed by flat hash-based names. IPFS
sees significant real-world usage, with over 250,000 daily active network nodes, millions of end
users and wide adoption by several other projects in the Decentralised Web space, but not only.
An adjacent project to IPFS, which was also masterminded and is also being developed within
Protocol Labs (the umbrella company of IPFS and libp2p) is filecoin . Filecoin is a cryptocurrency
that supports a decentralised storage and delivery network. Storage and retrieval miners are
rewarded according to their contribution to the network and the mechanics of filecoin secure the
network against malicious activity
The main objective of this tutorial is to let researchers, developers, and users understand IPFS
and the capabilities it provides.
More specifically, participants will:
- Understand how IPFS brings content addressing as a core primitive for data distribution
- Learn how to use CIDs (content identifiers) to find content and interpret what the content
- Learn how to create custom data structures using IPFS and its underlying data format,
IPLD (InterPlanetary Linked Data)
- Understand how libp2p bring process addressing as a core primitive for P2P and
The attendees do not need to have prior knowledge of IPFS, libp2p or filecoin and basic
knowledge and understanding of core networking and network security principles will be
adequate in order to follow along.
- Understanding how IPFS deals with files (60 mins)
- Solving distributed networking problems with libp2p (60 mins)
- The lifecycle of data in IPFS and filecoin (40 mins)
- Developing Apps with the IPFS API (20 mins)
- David Dias, Peer-2-Peer Software Engineer at Protocol Labs, (Palo Alto, CA and Lisbon,
- Dr. Ioannis Psaras, EPSRC Fellow and University Lecturer (Assistant Professor) at
University College London and a Research Scientist at Protocol Labs.
Top-level research is a highly competitive environment: funding; recruiting; publishing; impact … If you move in the first division, academia is like a premier league, and top researchers are high-level competition athletes. Is that too stressing? Where is the fun? Depends on the perspective. There is no unique recipe, but I’ll share my own experience and hope to show that it can be a unique life, if you do the right things.
If you manage the balance between freedom, self-responsibility, and perseverance, chances are you will go far, and have moments you'll never forget. How far? Well, if you are aiming for the gold, the nice secret of this talk is that excellence … is about details.
Paulo Esteves-Veríssimo is a professor and FNR PEARL Chair at the University of Luxembourg FSTM and SnT, and Head of the CritiX lab (https://wwwen.uni.lu/snt/research/critix). He is adjunct Professor of the ECE Dept., Carnegie Mellon University. Previously, he has been a professor of the Univ. of Lisbon (PT). He is the representative of UNILU-SnT in ECSO, the European Cyber Security Organisation, and member of its Scientific & Technical Committee (STC). He was Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-Chair of the Steering Committee of the IEEE/IFIP DSN conference.
He is Fellow of the IEEE and Fellow of the ACM, and associate editor of IEEE Trans. on Emerging Topics in Computing (TETC). He is currently interested in architectures, middleware and algorithms for resilient modular and distributed computing, in areas like: SDN-based infrastructures; autonomous vehicles from earth to space; digital health and genomics; or blockchain and cryptocurrencies. He is author or co-author of over 200 peer-refereed int’l publications and
co-author of 5 books. Check his pubs on GSC.
Safeguarding Data Consistency at the EdgeClaudio Correia (Universidade de Lisboa, Portugal)
Depending on HTTP/2 for Privacy? Good Luck!Gargi Mitra (IIT Madras, India)
Towards Practical Privacy-Preserving Collaborative Machine Learning at a ScaleRania Talbi (INSA-Lyon, France)
What Exactly Determines the Type?Inferring Types with ContextLigeng Che (Nanjing University, China)
Impact of geo-distribution and mining pools on blockchains: a study of EthereumPaulo Mendes da Silva, INESC-ID & IST. U. Lisboa, Portugal
CanvasMirror: Secure Integration of Third-Party Library in WebVR EnvironmentJiyeon Lee, KAIST, Korea
A Framework for Risk Assessment in Augmented Reality-equipped Socio-technical SystemsSoheila Sheikh Bahaei, Malardalen University, Sweden
June 30, 2020
15:00 – 15:15 (CEST).
Welcome / Opening session
15:15 – 15:55 (CEST).
16:00 – 16:45 (CEST).
Presentation of best paper candidates
Chaired by Karthik Pattabiraman, UBC
KShot: Live Kernel Patching with SMM and SGXLei Zhou Southern University of Science and Technology, Fengwei Zhang (Southern University of Science and Technology), Jinghui Liao (Wayne State University), Zhenyu Ning (Southern University of Science and Technology and Wayne State University, Jidong Xiao (Boise State University), Kevin Leach (University of Michigan), Westley Weimer (University of Michigan), Guojun Wang (Guangzhou University)
CDN Backfired: Amplification Attacks Based on HTTP Range RequestsWeizhong Li (Tsinghua University), Kaiwen Shen (Tsinghua University), Run Guo (Tsinghua University), Baojun Liu (Tsinghua University), Jia Zhang (Tsinghua University), Haixin Duan (Tsinghua University), Shuang Hao (University of Texas at Dallas), Xiarun Chen (Peking University), Yao Wang (Beijing Information Science & Technology University)
Online Payments by Merely Broadcasting MessagesDaniel Collins (EPFL), Rachid Guerraoui (EPFL), Jovan Komatovic (EPFL), Petr Kuznetsov (Telecom ParisTech), Matteo Monti (EPFL), Matej Pavlovic (EPFL), Yvonne-Anne Pignolet (DFINITY), Dragos-Adrian Seredinschi (Interchain Foundation – Lausanne), Andrei Tonkikh (NRU HSE), Athanasios Xygkis (EPFL)
16:55 – 17:10 (CEST).
Carter Award Presentation
University of British Columbia, Canada
The winner of the 2020 William C. Carter PhD Dissertation Award in Dependability is:
Bo Fang, University of British Columbia, CA
PhD Dissertation title: “Approaches for Building Error Resilient Applications”
Defense date: February 11th, 2020
Karthik Pattabiraman (University of British Columbia, CA)
Dissertation Summary: “Bo Fang’s thesis addresses the problem of transient hardware faults in high performance computing (HPC) systems. Starting form the idea that most transient hardware faults have no significant impact at the software layer, Bo’s thesis proposes an error propagation model and a crash model to identify which faults really matter, particularly the ones that may cause silent data corruption and crashes, in order to selectively trigger recovery actions. Subsequently, Bo proposes the innovative idea of applying the roll-forward recovery scheme in standard checkpoint/restart system to allow trading confidence in results for efficiency in both performance and energy saving. Bo’s work has already been making an impact on the design and implementation of HPC systems at two national labs in the US, namely Pacific Northwestern National Labs (PNNL), and Los Alamos National Labs (LANL). ”
17:15 – 18:30 (CEST).
Research Track #1 || Research Track #2 || Industry Track #1
Chaired by Saurabh Bagchi, Purdue Univ.
Comprehensive Java Metadata Tracking for Attack Detection and RepairJeff Perkins (MIT/CSAIL), Jordan Eikenberry (MIT/CSAIL), Alessandro Coglio (Kestrel Institute), Martin Rinard (MIT/CSAIL)
Trace Sanitizer - Eliminating the Effects of Non-determinism on Error Propagation AnalysisHabib Saissi (Technische Universität Darmstadt), Stefan Winter (Technische Universität Darmstadt), Oliver Schwahn (Technische Universität Darmstadt), Karthik Pattabiraman (University of British Columbia), Neeraj Suri (Lancaster University)
Scarecrow: Deactivating Evasive Malware via Its Own Evasive LogicJialong Zhang (ByteDance), Zhongshu Gu (IBM Research), Jiyong Jang (IBM Research), Dhilung Kirat (IBM Research), Marc Ph. Stoecklin (IBM Research), Xiaokui Shu (IBM Research), Heqing Huang (ByteDance)
CATI: Context-Assisted Type Inference from Stripped BinariesLigeng Chen (Nanjing University), Zhongling He (Nanjing University), Bing Mao (Nanjing University)
Chaired by Atul Prakash, Univ. of Michigan
PolygraphMR: Enhancing the Reliability and Dependability of CNNsSalar Latifi (University of Michigan), Babak Zamirai (University of Michigan), Scott Mahlke (University of Michigan)
ML-driven Malware for Targeting AV Safety Saurabh Jha (UIUC)Shengkun Cui (UIUC), Subho Banerjee (UIUC), James Cyriac (UIUC), Timothy Tsai (NVIDIA), Zbigniew Kalbarczyk (UIUC), Ravi Iyer (UIUC)
Leaky DNN: Stealing Deep-learning Model Secret with GPU Context-switching Side-channelJunyi Wei (Fudan University), Yicheng Zhang (University of California, Irvine), Zhe Zhou (Fudan University), Zhou Li (University of California, Irvine), Mohammad Abdullah Al Faruque (University of California, Irvine)
An Experimental Study of Reduced-Voltage Operation in Modern FPGAs for Neural Network AccelerationBehzad Salami (Barcelona Supercomputing Center (BSC)), Baturay Onural (TOBB UNIVERSITY OF ECONOMICS AND TECHNOLOGY), Ismail Emir Yuksel (TOBB UNIVERSITY OF ECONOMICS AND TECHNOLOGY), FAHRETTIN KOC (TOBB UNIVERSITY OF ECONOMICS AND TECHNOLOGY), Oguz Ergin (TOBB UNIVERSITY OF ECONOMICS AND TECHNOLOGY), Adrian Cristal (Barcelona Supercomputing Center (BSC), Osman Unsal (Barcelona Supercomputing Center (BSC)), Hamid Sarbazi-Azad (Sharif University of Technology, IPM), Onur Mutlu (ETH Zurich)
(Practice report): Quantifying DNN Model Robustness to the Real-World Threats Zhenyu Zhong (Baidu Research Institute)Zhisheng Hu (Baidu Research Institute), Xiaowei Chen (Baidu Research Institute)
Chaired by Harigovind V. Ramasamy, Amazon
Robustness Inside Out TestingDeborah Katz (School of Computer Science, Carnegie Mellon University), Milda Zizyte (Department of Electrical and Computer Engineering, Carnegie Mellon University), Casidhe Hutchison (National Robotics Engineering Center, Carnegie Mellon University), David Guttendorf (National Robotics Engineering Center, Carnegie Mellon University), Patrick Lanigan (National Robotics Engineering Center, Carnegie Mellon University), Eric Sample (National Robotics Engineering Center, Carnegie Mellon University), Philip Koopman (Department of Electrical and Computer Engineering, Carnegie Mellon University), Michael Wagner (Edge Case Research), Claire Le Goues (School of Computer Science, Carnegie Mellon University)
Towards Host Intrusion Detection For Embedded Industrial SystemsMarine Kadar (SYSGO GmbH), Sergey Tverdyshev (SYSGO GmbH), Gerhard Fohler (TU Kaiserslautern)
The Monitor as Key Architecture Element for Safe Self-Driving CarsAyhan Mehmed (TTTech Auto AG), Moritz Antlanger (TTTech Auto AG), Wilfried Steiner ((TTTech Computertechnik AG)
July 1, 2020
15:00 – 15:40 (CEST).
15:45 – 16:45 (CEST).
Research Track #3 || Research Track #4 || Industry Track #2 || Fast Abstracts #1
Chaired by Yair Amir, Johns Hopkins Univ.
The Mystery of the Failing Jobs: Insights from Operational Data from Two University-Wide Computing SystemsRakesh Kumar (Microsoft), Saurabh Jha (University of Illinois at Urbana-Champaign), Ashraf Mahgoub (Purdue University), Rajesh Kalyanam (Purdue University), Stephen L Harrell (Purdue University), Xiaohui Carol Song (Purdue University), Zbigniew Kalbarczyk (University of Illinois at Urbana-Champaign), William T Kramer (University of Illinois at Urbana-Champaign), Ravishankar K. Iye (University of Illinois at Urbana-Champaign), Saurabh Bagchi (Purdue University)
Reliable, Efficient Recovery for Complex Services with Replicated SubsystemsEdward Tremel (Cornell University), Sagar Jha (Cornell University), Weijia Song (Cornell University), David Chu (Cornell University), Ken Birman (Cornell University)
HAMS: High Availability for Distributed Machine Learning Service GraphsShixiong Zhao (University of Hong Kong), Xusheng Chen (University of Hong Kong), Cheng Wang (University of Hong Kong), Fanxin Li (University of Hong Kong), Ji Qi (University of Hong Kong), Heming Cui (University of Hong Kong), Cheng Li (University of Science and Technology of China)
Fine-Grained Fault Tolerance For Resilient Virtual Machine MonitorsDjob Mvondo (Université Grenoble Alpes), Alain Tchana (ENS Lyon), Renaud Lachaize (Université Grenoble Alpes), Daniel Hagimont (Université de Toulouse), Noel De Palma (Université Grenoble Alpes)
Chaired by Katinka Wolter, Frei University, Berlin
Data-Driven Model-Based Analysis of the Ethereum Verifier's DilemmaMaher Alharby (Newcastle University), Roben Lunardi (PUCRS), Amjad Aldweesh (Newcastle University), Aad van Moorsel (Newcastle University)
SMACS: Smart Contract Access Control ServiceBowen Liu (Singapore University of Technology and Design), Siwei Sun (Chinese Academy of Sciences), Pawel Szalachowski (Singapore University of Technology and Design)
Smart Contracts on the MoveEnrique Fynn (Università della Svizzera Italiana), Alysson Bessani (FCUL, University of Lisboa), Fernando Pedone (Università della Svizzera Italiana)
(practice report): Impact of Geo-distribution and Mining Pools on Blockchains: A Study of EthereumPaulo Silva (University of Lisbon), David Vavřička (University of Lisbon), João Barreto (University of Lisbon), Miguel Matos (University of Lisbon)
Chaired by Wilfried Steiner, TTTech
Predicting Remediations for Hardware Failures in Large-Scale DatacentersFred Lin (Facebook Inc.), Antonio Davoli (Facebook Inc.), Imran Akbar (Facebook Inc.), Sukumar Kalmanje (Facebook Inc.), Leandro Silva (Facebook Inc.), John Stamford (Facebook Inc.), Yanai Golany (Facebook Inc.), Jim Piazza (Facebook Inc.), Sriram Sankar (Facebook Inc.)
ZTE-Predictor: a Disk Failure Prediction System based on LSTMHongzhang Yang (School of Software & Microelectronics, Peking University, and ZTE Corporation), Zongzhao Li (ZTE Corporation), Huiyuan Qiang (ZTE Corporation), Zhongliang Li (ZTE Corporation), Yaofeng Tu (ZTE Corporation), Yahui Yang (School of Software & Microelectronics, Peking University)
Neuraltran: Optimal Data Transformation for Privacy-Preserving Machine Learning by Leveraging Neural NetworksChangchang Liu (IBM T. J. Watson Research Center), Wei-Han Lee (IBM T. J. Watson Research Center), Seraphin Calo (IBM T. J. Watson Research Center)
Chaired by Regina Moraes, U. Campinas
Secure Consensus Generation with Distributed DoHPhilipp Jeitner (Technical University of Darmstadt), Haya Shulman (Fraunhofer Institute for Secure Information Technology SIT), Michael Waidner (Fraunhofer Institute for Secure Information Technology SIT)
Design and Performance Analysis of Software Defined Networking based Web Services adopting Moving Target DefenseDong Seong Kim (University of Queensland), Minjune Kim (University of Queensland), Jin-Hee Cho (Virginia Tech), Hyuk Lim (Gwangju Institute of Science & Technology), Terrence J. Moore (Army Research Lab), Frederica F. Nelson (Army Research Lab)
Tomographic measuring sensors system for analysis and visualization of technological processesMariusz Mazurek (Institute of Philosophy and Sociology of the Polish Academy of Sciences), Tomasz Rymarczyk (R&D Center Netrix S.A., and University of Economics and Innovation in Lublin), Grzegorz Kłosowski (Lublin University of Technology), Michał Maj (R&D Center Netrix S.A., and University of Economics and Innovation in Lublin), Przemysław Adamkiewicz (R&D Center Netrix S.A., and University of Economics and Innovation in Lublin)
16:55 – 17:55 (CEST).
Research Track #5 || Research Track #6 || Industry Track #3 || Fast Abstracts #2
Chaired by Yennun Huang, Academia Sinica, Taiwan
Ephemeral Exit Bridges for TorZhao Zhang (Georgetown University), Tavish Vaidya (Georgetown University), Kartik Subramanian (Jericho High School), Wenchao Zhou (Georgetown University), Micah Sherr (Georgetown University)
The Impact of DNS Insecurity on TimePhilipp Jeitner (Tu Darmstadt), Haya Shulman (Fraunhofer SIT), Michael Waidner (Fraunhofer SIT, TU Darmstadt)
(practice report): Depending on HTTP/2 for Privacy? Good Luck!Gargi Mitra (Indian Institute of Technology Madras), Prasanna Karthik Vairam (Indian Institute of Technology Madras), Patanjali SLPSK (Indian Institute of Technology Madras), V. Kamakoti (Indian Institute of Technology Madras), Nitin Chandrachoodan (Indian Institute of Technology Madras)
(practice report): Diving Into Email Bomb AttackMarkus Schneider (Fraunhofer SIT), Haya Shulman (Fraunhofer SIT), Adi Sidis (Fraunhofer SIT), Ravid Sidis (Fraunhofer SIT), Michael Waidner (Fraunhofer SIT, TU Darmstadt)
Chaired by Marc Dacier, Eurocom
HardSnap: Leveraging Hardware Snapshotting for Embedded Systems Security TestingNassim Corteggiani (EURECOM), Aurélien Francillon (EURECOM)
iScanU: A Portable Scanner for Undocumented Instructions on RISC ProcessorsRens Dofferhoff (Leiden University), Michael Göebel (Leiden University), Kristian Rietveld (Leiden University)
Libspector: Context-Aware Large-Scale Network Traffic Analysis of Android ApplicationsOnur Zungur (Boston University), Gianluca Stringhini (Boston University), Manuel Egele (Boston University)
Chaired by Harigovind V. Ramasamy, Amazon
Simulating Reliability of IoT Networks with RelIoTKazim Ergun (University of California San Diego), Xiaofan Yu (University of California San Diego), Nitish Nagesh (University of California San Diego), Ludmila Cherkasova (Arm Research), Pietro Mercati (Intel Corporation), Raid Ayoub (Intel Corporation), Tajana Rosing (University of California San Diego)
Performance-Aware Wi-Fi Problem Diagnosis and Mitigation through Peer-to-Peer Data SharingNathan Mickulicz (YinzCam, Inc)
Priya Narasimhan (Electrical and Computer Engineering, Carnegie Mellon University)
Chaired by Nuno Antunes, U. Coimbra
MPC for Securing Internet InfrastructureKris Shrishak (Technical University of Darmstadt), Haya Shulman (Fraunhofer Institute for Secure Information Technology SIT)
Pitfalls of Provably Secure Systems in Internet - The Case of Chronos-NTP Philipp Jeitner (Technical University of Darmstadt), Haya Shulman (Technical University of Darmstadt), Michael Waidner (Technical University of Darmstadt, and Fraunhofer Institute for Secure Information Technology SIT)
SIMBA: An Efficient Simulator for Blockchain ApplicationsSeyed Mehdi Fattahi (New York Institute of Technology), Tokunbo Makanju (New York Institute of Technology), Amin Milani Fard (New York Institute of Technology)
18:00 – 18:30 (CEST).
Research Track #7 || Research Track #8 || Industry Track #4
Chaired by Devesh Tiwari, Northeastern University
Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack MemorySamantha Archer (Duke University), Georgios Mappouras (Duke University), Daniel J. Sorin (Duke University), Robert Calderbank (Duke University)
Extreme Protection against Data Loss with Single-Overlap Declustered ParityHuan Ke (The University of Chicago), Haryadi S. Gunawi (The University of Chicago), David Bonnie (Los Alamos National Laboratory), Nathan DeBardeleben (Los Alamos National Laboratory), Michael Grosskopf (Los Alamos National Laboratory), Terry Grové (Los Alamos National Laboratory), Dominic Manno (Los Alamos National Laboratory), Elisabeth Moore (Los Alamos National Laboratory), Brad Settlemyer (Los Alamos National Laboratory)
Chaired by Long Wang, IBM Research
Chaser: A Enhanced Fault Injection Tool for Tracing Soft Errors in MPI ApplicationsQiang Guan (Kent State University), Xunchao Hu (DeepBits Technology), Terence Grove (Los Alamos National Lab), Bo Fang (University of British Columbia), Hailong Jiang (Kent State University), Heng Yin (University of California, Riverside), Nathen DeBardeleben (Los Alamos National Lab)
ProFIPy: Programmable Software Fault Injection as-a-ServiceDomenico Cotroneo (Università degli Studi di Napoli Federico II), Luigi De Simone (Università degli Studi di Napoli Federico II), Pietro Liguori (Università degli Studi di Napoli Federico II), Roberto Natella (Università degli Studi di Napoli Federico II)
Chaired by Wilfried Steiner, TTTech
18:30 – 19:00 (CEST).
Awards announcement & Recognitions
July 2, 2020
15:00 – 15:15 (CEST).
Rising Star in Dependability award presentation
University of British Columbia, Canada
The winner of the 2020 Rising Star in Dependability Award is:
University of British Columbia, Canada
Citation from the nomination letter:
"While traditionally, dependable computer systems have been confined to domains where cost was not a primary concern, Dr. Pattabiraman has developed innovative techniques to make computer systems dependable at low cost, thereby allowing their use in our daily lives."
Bio: Karthik Pattabiraman received his M.S and PhD. degrees from the University of Illinois at Urbana-Champaign (UIUC) in 2004 and 2009 respectively. After a post-doctoral stint at Microsoft Research (MSR), Karthik joined the University of British Columbia (UBC) in 2010, where he is now an Associate Professor of Electrical and Computer Engineering (ECE). Karthik's research interests are in error-resilient software systems, software reliability, and Internet of Things (IoT) security. He is a recipient of numerous awards and honors including the William Carter award in 2008, the distinguished alumni early career educator award from UIUC’s Computer Science department in 2018, the 2018 Killam Faculty Research Prize and the 2016 Killam Faculty Research Fellowship from UBC, and the NSERC Discovery Accelerator Supplement (DAS) award in Canada in 2015. Karthik is a senior member of the IEEE and the ACM, and the vice-chair of the IFIP Working Group on Dependable Computing and Fault Tolerance (10.4).
15:15 – 15:55 (CEST).
16:00 – 17:00 (CEST).
Research Track #09 || Research Track #10 || Industry Track 5 || Fast Abstracts #3
Chaired by Chung Hwan Kim, NEC Research
Hybrid Firmware Analysis for Known Mobile and IoT Security VulnerabilitiesPengfei Sun (Shape Security), Luis Garcia (University of California, Los Angeles), Gabriel Salles-Loustau (Rutgers University), Saman Zonouz (Rutgers University)
Real-Time Context-aware Detection of Unsafe Events in Robot-Assisted SurgeryMohammad Samin Yasar (University of Virginia), Homa Alemzadeh (University of Virginia)
Scalable Approach to Enhancing ICS Resilience by Network DiversityTingting Li (Cardiff University), Cheng Feng (Siemens Corporate Technology), Chris Hankin (Imperial College London)
Cross-App Interference Threats in Smart Homes: Categorization, Detection and HandlingHaotian Chi (Temple University), Qiang Zeng (University of South Carolina), Xiaojiang Du (Temple University), Jiaping Yu (Temple University)
Chaired by Miguel Correia, University of Lisboa
From Byzantine Replication to Blockchain: Consensus is only the BeginningAlysson Bessani (FCUL, University of Lisboa), Eduardo Alchieri (University of Brasilia), João Sousa (FCUL, University of Lisboa), André Oliveira (FCUL, University of Lisboa), Fernando Pedone (University of Lugano)
EPIC: Efficient Asynchronous BFT with Adaptive SecurityChao Liu (UMBC)
Sisi Duan (UMBC)
Haibin Zhang (UMBC)
On Incentive Compatible Role-based Reward Distribution in AlgorandMehdi Fooladgar (Isfahan University of Technology), Mohammad Hossein Manshaei (Florida International University), Murtuza Jadliwala (University of Texas at San Antonio), Mohammad Ashiqur Rahman (Florida International University)
FSTR: Funds Skewness aware Transaction Routing for Payment Channel NetworksSiyi Lin (SUN YAT-SEN UNIVERSITY), Jingjing Zhang (SUN YAT-SEN UNIVERSITY), Weigang Wu (SUN YAT-SEN UNIVERSITY)
Chaired by Harigovind V. Ramasamy, Amazon
Fundamental Challenges of Cyber-Physical Systems Security ModelingGeorgios Bakirtzis (University of Virginia), Garrett Ward (Honeywell International Inc.), Christopher Deloglos (Virginia Commonwealth University), Carl Elks (Virginia Commonwealth University), Barry Horowitz (University of Virginia), Cody Fleming (University of Virginia)
Ontology Configuration Management for Knowledge-Centric Systems Engineering in IndustryBorja Lopez (The REUSE Company), Jose María Alvarez Rodríguez (Universidad Carlos III de Madrid), Eugenio Parra (Universidad Carlos III de Madrid), Jose Luis de la Vara (Universidad de Castilla-La Mancha)
Chaired by Roberto Natella, Univ of Napoli
Fault Tree Analysis: Identifying Maximum Probability Minimal Cut Sets with MaxSATMartín Barrère (Institute for Security Science and Technology, Imperial College London), Chris Hankin (Institute for Security Science and Technology, Imperial College London)
Impact of Coding Styles on Behaviours of Static Analysis Tools for Web ApplicationsIbéria Medeiros (LASIGE, Faculdade de Ciencias, Universidade de Lisboa), Nuno Neves (LASIGE, Faculdade de Ciencias, Universidade de Lisboa)
A Novel Graphical Security Model for Evolving Cyber Attacks in Internet of ThingsDong Seong Kim (The University of Queensland), Kok Onn Chee (The University of Queensland), Mengmeng Ge (Deakin University)
17:10 – 18:10 (CEST).
Research Track #11 || Research Track #12 || Best of SELSE || Fast Abstracts #4
Chaired by Zhongshu Gu, IBM Research
SeGShare: Secure Group File Sharing in the Cloud using EnclavesBenny Fuhry (SAP SE), Lina Hirschoff (SAP SE), Samuel Koesnadi (SAP SE), Florian Kerschbaum (University of Waterloo)
Omega: a Secure Event Ordering Service for the EdgeCláudio Correia (Instituto Superior Técnico, Universidade de Lisboa), Luis Rodrigues (INESC-ID, IST, ULisboa), Miguel Correia (INESC-ID / IST / Univ. Lisboa)
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine StakeholdersFranz Gregor (TU Dresden), Wojciech Ozga (TU Dresden), Sébastien Vaucher (University of Neuchâtel), Rafael Pires (University of Neuchâtel), Do Le Quoc (TU Dresden), Sergei Arnautov (Scontain UG), André Martin (TU Dresden), Valerio Schiavoni (University of Neuchâtel), Pascal Felber (University of Neuchâtel), Christof Fetzer (TU Dresden)
UPA: An Automated, Accurate and Efficient Differentially Private Big-data Mining SystemTsz On Li (The University of Hong Kong), Jianyu Jiang (The University of Hong Kong), Qi Ji (The University of Hong Kong), Chi Chiu So (The University of Hong Kong), JiaCheng Ma (The University of Hong Kong), Xusheng Chen (The University of Hong Kong), Tianxiang Shen (The University of Hong Kong), Heming Cui (The University of Hong Kong), Amy Wang (The University of Hong Kong)
Chaired by Gueyoung Jung, AT&T Research
Enhancing Reliability-Aware Speedup Modelling via ReplicationZaeem Hussain (University of Pittsburgh), Taieb Znati (University of Pittsburgh), Rami Melhem (University of Pittsburgh)
Service-based Resilience for Embedded IoT NetworksDoganalp Ergenc (University of Hamburg), Jacek Rak (Gdansk University of Technology), Mathias Fischer (University of Hamburg)
Mining Multivariate Discrete Event Sequences for Knowledge Discovery and Anomaly DetectionBin Nie (College of William and Mary), Jianwu Xu (NEC Laboratories America), Jacob Alter (College of William and Mary), Haifeng Chen (NEC Laboratories America), Evegenia Smirni (College of William and Mary)
(practice report): Learning to Reliably Deliver Streaming Data with Apache KafkaHan Wu (Free University of Berlin), Zhihao Shang (Free University of Berlin), Katinka Wolter (Free University of Berlin)
Software-only Triple Diverse Redundancy on GPUs for Autonomous Driving PlatformsSergi Alcaide (UPC - Barcelona Supercomputing Center), Leonidas Kosmidis (UPC - Barcelona Supercomputing Center), Carles Hernandez (UPV - Barcelona Supercomputing Center), Jaume Abella (Barcelona Supercomputing Center)
A Machine Learning-based Error Model of Voltage-Scaled CircuitsDongning Ma (ECE Department, Villanova), Xun Jiao (ECE Department, Villanova)
An Overview of the Risk Posed by Thermal Neutrons to the Reliability of Computing DevicesDaniel Oliveira (UFPR), Sean Blanchard (LANL), Nathan DeBardeleben (LANL), Stephen Wender (LANL), Fernando F. dos Santos (UFRGS), Gabriel Piscoya Davila (UFRGS), Philippe Navaux (UFRGS), Carlo Cazzaniga (STFC), Christopher Frost (STFC), Robert C. Baumann (consultant), Paolo Rech (UFRGS/LANL).
Chaired by Nuno Antunes, U. Coimbra
The Effect of Motion on PPG Heart Rate SensorsDaniel Hu (Purdue University), Calvin Henry (Purdue University), Saurabh Bagchi (Purdue University)
Reliability Analysis of Edge Scenarios using Pedestrian MobilityKshitiz Goel (Purdue University), Abhishek Bhaumick (Purdue University), Peepika Kaushal (Purdue University), Saurabh Bagchi (Purdue University)
Improving the dependability of the ECG signal for classification of heart diseasesBartosz Przysucha (Departmetn of Quantitative Methods in Management, Lublin University of Technology), Tomasz Rymarczyk (Research and Development Center Netrix S.A., and University of Economics and Innovation in Lublin), Dariusz Wójcik (Research and Development Center Netrix S.A.), Michał Woś (Research and Development Center Netrix S.A.), Andres Vejar ((Research and Development Center Netrix S.A., and University of Economics and Innovation in Lublin))
18:15 – 18:30(CEST).
- Intro (moderator: Mohamed Kaaniche)
Future DSNs (decided and proposals)
- DSN-2021, Sy Yen Kuo, National Taiwan University, Taipei (Taiwan)
- DSN-2022, Yair Amir, Johns Hopkins University, Baltimore (USA)
- DSN-2023, Domenico Cotroneo, Federico II University of Naples, Naples (Italy)
- DSN-2024 (beyond) Henrique Madeira, Univ. Coimbra, Coimbra (Portugal)
- Questions & Remarks