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 V. D. de 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.