


default search action
48th DSN 2018: Luxembourg - Workshops
- 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, DSN Workshops 2018, Luxembourg, June 25-28, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-6553-4

Industry Track Sessions
- Sy-Yen Kuo

, Hari Ramasamy, Bob Swarz, Alan Wood:
Foreword for the Industry Track. 1 - Mohamed Tlig, Mathilde Machin, Romain Kerneis, Emmanuel Arbaretier, Linda Zhao, Florent Meurville, Jean Van Frank:

Autonomous Driving System : Model Based Safety Analysis. 2-5 - Konstantinos Tovletoglou

, Lev Mukhanov, Georgios Karakonstantis, Athanasios Chatzidimitriou, George Papadimitriou
, Manolis Kaliorakis, Dimitris Gizopoulos, Zacharias Hadjilambrou, Yiannakis Sazeides, Alejandro Lampropulos, Shidhartha Das, Phong Vo:
Measuring and Exploiting Guardbands of Server-Grade ARMv8 CPU Cores and DRAMs. 6-9 - Xianyu Liu, Min Zheng, Aimin Pan, Quan Lu:

Hardening the Core: Understanding and Detection of XNU Kernel Vulnerabilities. 10-13 - Fan Fred Lin, Matt Beadon, Harish Dattatraya Dixit, Gautham Vunnam, Amol Desai, Sriram Sankar:

Hardware Remediation at Scale. 14-17 - Frederico Araujo, Teryl Taylor, Jialong Zhang, Marc Ph. Stoecklin:

Cross-Stack Threat Sensing for Cyber Security and Resilience. 18-21 - Armon Dadgar, James Phillips, Jon Currey:

Lifeguard: Local Health Awareness for More Accurate Failure Detection. 22-25 - Rohit Ranchal, Praveen Jayachandran:

Diagnosing Failures of Cloud Management Actions. 26-29 - Ozan Tuncer, Nilton Bila, Sastry S. Duri, Canturk Isci, Ayse K. Coskun:

ConfEx: Towards Automating Software Configuration Analytics in the Cloud. 30-33 - Long H. Vu, Venkata N. Pavuluri, Yuan-Chi Chang, Deepak S. Turaga, Alex Zhong, Pratik Agrawal, Amit Singh, Boyi Jiang, Krishna Chirutha:

A Large-Scale System for Real-Time Glucose Monitoring. 34-37 - Pratik Mukherjee, Valentina Salapura:

Challenges of DB2 Restore in a Distributed Systems Environment and Engineered Solutions. 38-42 - Scott Boag, Parijat Dube, Kaoutar El Maghraoui

, Benjamin Herta, Waldemar Hummer, K. R. Jayaram, Rania Khalaf, Vinod Muthusamy, Michael H. Kalantar, Archit Verma:
Dependability in a Multi-tenant Multi-framework Deep Learning as-a-Service Platform. 43-46
Fast Abstract Session Fast Abstract #1
- Ignacio Blanquer, Wagner Meira Jr.:

EUBra-BIGSEA, A Cloud-Centric Big Data Scientific Research Platform. 47-48 - Carlos Kamienski

, João H. Kleinschmidt
, Juha-Pekka Soininen, Kari Kolehmainen, Luca Roffia, Marcos Visoli, Rodrigo Filev Maia, Stenio Fernandes:
SWAMP: Smart Water Management Platform Overview and Security Challenges. 49-50 - Francisco V. Brasileiro

, Andrey Brito, Ignacio Blanquer:
ATMOSPHERE: Adaptive, Trustworthy, Manageable, Orchestrated, Secure, Privacy-Assuring, Hybrid Ecosystem for REsilient Cloud Computing. 51-52 - Andrey Brito, Christof Fetzer:

SecureCloud: Secure Big Data Processing in Untrusted Clouds. 53-54 - Saurabh Jha

, Subho S. Banerjee
, James Cyriac, Zbigniew T. Kalbarczyk, Ravishankar K. Iyer:
AVFI: Fault Injection for Autonomous Vehicles. 55-56 - Alberto Ballesteros

, Julián Proenza
, Manuel Barranco
, Luís Almeida
:
Reconfiguration Strategies for Critical Adaptive Distributed Embedded Systems. 57-58 - Marcello Cinque

, Domenico Cotroneo:
Towards Lightweight Temporal and Fault Isolation in Mixed-Criticality Systems with Real-Time Containers. 59-60
Fast Abstract #2
- Emmanuelle Anceaume, Yann Busnel

, Vasile Cazacu:
Finding Top-k Most Frequent Items in Distributed Streams in the Time-Sliding Window Model. 61-62 - Ines Alvarez

, Julián Proenza
, Manuel Barranco
:
Mixing Time and Spatial Redundancy Over Time Sensitive Networking. 63-64 - Jin Bum Hong

, Simon Yusuf Enoch
, Dong Seong Kim
, Khaled Md. Khan
:
Stateless Security Risk Assessment for Dynamic Networks. 65-66 - Pedro Marques, Zayani Dabbabi, Miruna-Mihaela Mironescu, Olivier Thonnard, Frances V. Buontempo, Ilir Gashi

, Alysson Bessani
:
Using Diverse Detectors for Detecting Malicious Web Scraping Activity. 67-68 - Abdallah Ali Zainelabden Abdallah Ibrahim, Sébastien Varrette

, Pascal Bouvry
:
On Verifying and Assuring the Cloud SLA by Evaluating the Performance of SaaS Web Services Across Multi-cloud Providers. 69-70 - Fatemeh Ayatolahi, Johan Karlsson:

Sources of Variation in Error Sensitivity Measurements, Significant or Not? 71-72 - Rania Talbi, Sara Bouchenak, Lydia Y. Chen:

Towards Dynamic End-to-End Privacy Preserving Data Classification. 73-74 - Yu-Hsin Hung, Hong-Wei Li, Yu-Sung Wu, Bing-Jhong Jheng, Yennun Huang

:
HIT: Hybrid-Mode Information Flow Tracking with Taint Semantics Extraction and Replay. 75-76 - Andrew S. Gearhart, Peter A. Hamilton, Joel Coffman

:
An Analysis of Automated Software Diversity Using Unstructured Text Analytics. 79-80 - Jaewon Bae

, Hyuk Lim:
Random Mining Group Selection to Prevent 51% Attacks on Bitcoin. 81-82
Student Forum Session
- Abdallah Ali Zainelabden Abdallah Ibrahim:

PRESEnCE: A Framework for Monitoring, Modelling and Evaluating the Performance of Cloud SaaS Web Services. 83-86 - Sagar Jha:

Mu-Transaction Sagas in Derecho. 87-91 - Giulio Masetti:

Enhanced Dependability Evaluation Through Krylov Methods and Matrix Functions: The Case of Load-Sharing Systems. 92-95 - Theobald de Riberolles:

Design, Development and Implementation of a Network Intrusion Detection Tool for Air Traffic Management Systems. 96-99
Best of SELSE Session
- Alan Wood:

Best of SELSE 2018 Introduction. 100 - Chun-Kai Chang, Sangkug Lym, Nicholas Kelly, Michael B. Sullivan, Mattan Erez:

Hamartia: A Fast and Accurate Error Injection Framework. 101-108 - Sunghyun Park, Shikai Li, Scott A. Mahlke:

Low Cost Transient Fault Protection Using Loop Output Prediction. 109-113 - Irina Alam, Clayton Schoeny, Lara Dolecek, Puneet Gupta

:
Parity++: Lightweight Error Correction for Last Level Caches. 114-120
Workshop on Byzantine Consensus and Resilient Blockchains (BCRB 2018)
- Alysson Bessani

, Hans P. Reiser
, Marko Vukolic, Tobias Distler:
BCRB 2018 introduction. 121 - Lin Chen

, Lei Xu
, Zhimin Gao, Yang Lu, Weidong Shi:
Protecting Early Stage Proof-of-Work Based Public Blockchain. 122-127 - Enrique Fynn, Fernando Pedone

:
Challenges and Pitfalls of Partitioning Blockchains. 128-133 - Péter Garamvölgyi, Imre Kocsis

, Benjamin Gehl, Attila Klenik
:
Towards Model-Driven Engineering of Smart Contracts for Cyber-Physical Systems. 134-139 - Michael Eischer, Tobias Distler:

Latency-Aware Leader Selection for Geo-Replicated Byzantine Fault-Tolerant Systems. 140-145 - Signe Rüsch, Ines Messadi, Rüdiger Kapitza:

Towards Low-Latency Byzantine Agreement Protocols Using RDMA. 146-151 - Noëlle Rakotondravony, Hans P. Reiser

:
Visualizing BFT SMR Distributed Systems - Example of BFT-SMaRt. 152-157 - Bijun Li, Wenbo Xu, Rüdiger Kapitza:

Dynamic State Partitioning in Parallelized Byzantine Fault Tolerance. 158-163
3rd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2018)
- Mikael Asplund, Sibin Mohan:

CERTS 2018 Introduction. 164-165 - Elena Lisova, Aida Causevic, Kaj Hänninen, Henrik Thane, Hans Hansson:

A Systematic Way to Incorporate Security in Safety Analysis. 166-171 - Imre Kocsis

:
Design for Dependability Through Error Propagation Space Exploration. 172-178 - Henrique Mendes, Iberia Medeiros

, Nuno Neves
:
Validating and Securing DLMS/COSEM Implementations with the ValiDLMS Framework. 179-184 - Roberto Duenez, Albert Mo Kim Cheng

:
Real-Time Security Through a TEE. 185-186
Dependable and Secure Machine Learning (DSML 2018)
- Homa Alemzadeh, Karthik Pattabiraman, David E. Evans

:
DSML 2018 Introduction. 187 - Nuno Antunes

, Leandro Balby
, Flavio Figueiredo
, Nuno Lourenço
, Wagner Meira Jr., Walter Santos:
Fairness and Transparency of Machine Learning for Trustworthy Cloud Services. 188-193 - Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu:

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. 194-199 - Pei-Hsuan Lu, Pin-Yu Chen, Kang-Cheng Chen, Chia-Mu Yu:

On the Limitation of MagNet Defense Against L1-Based Adversarial Examples. 200-214 - Jing Wen

, Lucas C. K. Hui, Siu-Ming Yiu, Ruoqing Zhang:
DCN: Detector-Corrector Network Against Evasion Attacks on Deep Neural Networks. 215-221
4th Workshop on Safety and Security of Intelligent Vehicles (SSIV 2018)
- João Carlos Cunha, Kalinka Branco, Michaël Lauer:

SSIV 2018 Introduction. 222 - Eugen Horatiu Gurban

, Bogdan Groza
, Pal-Stefan Murvay
:
Risk Assessment and Security Countermeasures for Vehicular Instrument Clusters. 223-230 - Andrew Tomlinson

, Jeremy W. Bryans
, Siraj Ahmed Shaikh
, Harsha Kumara Kalutarage
:
Detection of Automotive CAN Cyber-Attacks by Identifying Packet Timing Anomalies in Time Windows. 231-238 - Daniel S. Fowler

, Jeremy W. Bryans, Siraj Ahmed Shaikh
, Paul Wooderson
:
Fuzz Testing for Automotive Cyber-Security. 239-246 - Vikas Agrawal, Marcel Frueh, Oliver Bringmann, Wolfgang Rosenstiel:

Evaluating Optical Flow Vectors Under Varying Computer-Generated Snow Intensities and Pixel Density for Autonomous Vehicles. 247-254 - Emilia Cioroaica, Thomas Kuhn, Thomas Bauer:

Prototyping Automotive Smart Ecosystems. 255-262 - Matheus Lopes Franco, Kalinka R. J. L. Branco, Rosana T. V. Braga

, André Luíz de Oliveira, Catherine Dezan, Jean-Philippe Diguet:
Model-Based Dependability Analysis of Unmanned Aerial Vehicles - A Case Study. 263-270 - Mohamad Gharib

, Paolo Lollini
, Marco Botta, Elvio Gilberto Amparore, Susanna Donatelli, Andrea Bondavalli
:
On the Safety of Automotive Systems Incorporating Machine Learning Based Components: A Position Paper. 271-274 - Kuen-Long Lu, Yung-Yuan Chen, Li-Ren Huang:

FMEDA-Based Fault Injection and Data Analysis in Compliance with ISO-26262. 275-278

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID













