1. Home
  2. Proceedings
  3. DSN
  4. DSN 2019
Default Cover Image

2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

June 24 2019 to June 27 2019

Portland, OR, USA

ISSN: 1530-0889

ISBN: 978-1-7281-0057-9

Table of Contents

[Title page i]Freely available from IEEE.pp. 1-1
[Title page iii]Freely available from IEEE.pp. 3-3
Best Paper Award [3 candidate papers]Freely available from IEEE.pp. 20-20
Copyright PageFreely available from IEEE.pp. 4-4
Table of ContentsFreely available from IEEE.pp. 5-12
The Jean-Claude Laprie AwardFreely available from IEEE.pp. 22-22
Message from the General ChairFreely available from IEEE.pp. 13-13
Message from the Research Track ChairsFreely available from IEEE.pp. 14-15
Steering CommitteeFreely available from IEEE.pp. 16-16
Organizing CommitteeFreely available from IEEE.pp. 17-17
Understanding and Modeling On-Die Error Correction in Modern DRAM: An Experimental Study Using Real DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 13-25
by Minesh Patel, Jeremie S. Kim, Hasan Hassan, Onur Mutlu
Research Track Program CommitteeFreely available from IEEE.pp. 18-19
William C. Carter AwardFreely available from IEEE.pp. 21-21
Test-of-Time AwardFreely available from IEEE.pp. 23-23
[Keynotes - 4 abstracts]Full-text access may be available. Sign in or learn about subscription options.pp. 24-27
Efficient Treatment of Uncertainty in System Reliability Analysis using Importance MeasuresFull-text access may be available. Sign in or learn about subscription options.pp. 76-87
by Hananeh Aliee, Faramarz Khosravi, Jürgen Teich
SponsorsFreely available from IEEE.pp. 28-28
GreenFlag: Protecting 3D-Racetrack Memory from Shift ErrorsFull-text access may be available. Sign in or learn about subscription options.pp. 1-12
by Georgios Mappouras, Alireza Vahid, Robert Calderbank, Daniel J. Sorin
Demystifying Soft Error Assessment Strategies on ARM CPUs: Microarchitectural Fault Injection vs. Neutron Beam ExperimentsFull-text access may be available. Sign in or learn about subscription options.pp. 26-38
by Athanasios Chatzidimitriou, Pablo Bodmann, George Papadimitriou, Dimitris Gizopoulos, Paolo Rech
A Multiversion Programming Inspired Approach to Detecting Audio Adversarial ExamplesFull-text access may be available. Sign in or learn about subscription options.pp. 39-51
by Qiang Zeng, Jianhai Su, Chenglong Fu, Golam Kayas, Lannan Luo, Xiaojiang Du, Chiu C. Tan, Jie Wu
Classifying Malware Represented as Control Flow Graphs using Deep Graph Convolutional Neural NetworkFull-text access may be available. Sign in or learn about subscription options.pp. 52-63
by Jiaqi Yan, Guanhua Yan, Dong Jin
ZK-GanDef: A GAN Based Zero Knowledge Adversarial Training Defense for Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 64-75
by Guanxiong Liu, Issa Khalil, Abdallah Khreishah
Extensions of Network Reliability AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 88-99
by Hoang Hai Nguyen, Kartik Palani, David M. Nicol
An Online Approach to Estimate Parameters of Phase-Type DistributionsFull-text access may be available. Sign in or learn about subscription options.pp. 100-111
by Peter Buchholz, Iryna Dohndorf, Jan Kriege
ML-Based Fault Injection for Autonomous Vehicles: A Case for Bayesian Fault InjectionFull-text access may be available. Sign in or learn about subscription options.pp. 112-124
by Saurabh Jha, Subho Banerjee, Timothy Tsai, Siva K. S. Hari, Michael B. Sullivan, Zbigniew T. Kalbarczyk, Stephen W. Keckler, Ravishankar K. Iyer
Deep Validation: Toward Detecting Real-World Corner Cases for Deep Neural NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 125-137
by Weibin Wu, Hui Xu, Sanqiang Zhong, Michael R. Lyu, Irwin King
SOTER: A Runtime Assurance Framework for Programming Safe Robotics SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 138-150
by Ankush Desai, Shromona Ghosh, Sanjit A. Seshia, Natarajan Shankar, Ashish Tiwari
OneFile: A Wait-Free Persistent Transactional MemoryFull-text access may be available. Sign in or learn about subscription options.pp. 151-163
by Pedro Ramalhete, Andreia Correia, Pascal Felber, Nachshon Cohen
Sparkle: Speculative Deterministic Concurrency Control for Partially Replicated Transactional StoresFull-text access may be available. Sign in or learn about subscription options.pp. 164-175
by Zhongmiao Li, Paolo Romano, Peter Van Roy
White-Box Atomic MulticastFull-text access may be available. Sign in or learn about subscription options.pp. 176-187
by Alexey Gotsman, Anatole Lefort, Gregory Chockler
Fault Tolerance Through Redundant Execution on COTS Multicores: Exploring Trade-OffsFull-text access may be available. Sign in or learn about subscription options.pp. 188-200
by Yanyan Shen, Gernot Heiser, Kevin Elphinstone
ParaMedic: Heterogeneous Parallel Error CorrectionFull-text access may be available. Sign in or learn about subscription options.pp. 201-213
by Sam Ainsworth, Timothy M. Jones
gem5-Approxilyzer: An Open-Source Tool for Application-Level Soft Error AnalysisFull-text access may be available. Sign in or learn about subscription options.pp. 214-221
by Radha Venkatagiri, Khalique Ahmed, Abdulrahman Mahmoud, Sasa Misailovic, Darko Marinov, Christopher W. Fletcher, Sarita V. Adve
Your IoTs Are (Not) Mine: On the Remote Binding Between IoT Devices and UsersFull-text access may be available. Sign in or learn about subscription options.pp. 222-233
by Jiongyi Chen, Chaoshun Zuo, Wenrui Diao, Shuaike Dong, Qingchuan Zhao, Menghan Sun, Zhiqiang Lin, Yinqian Zhang, Kehuan Zhang
BenchIoT: A Security Benchmark for the Internet of ThingsFull-text access may be available. Sign in or learn about subscription options.pp. 234-246
by Naif Saleh Almakhdhub, Abraham A. Clements, Mathias Payer, Saurabh Bagchi
Exploiting Memory Corruption Vulnerabilities in Connman for IoT DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 247-255
by K. Virgil English, Islam Obaidat, Meera Sridhar
Rigorous, Effortless and Timely Assessment of Cellular Network ChangesFull-text access may be available. Sign in or learn about subscription options.pp. 256-263
by Ajay Mahimkar, Zihui Ge, Sanjeev Ahuja, Shomik Pathak, Nauman Shafi
An Eventually Perfect Failure Detector for Networks of Arbitrary Topology Connected with ADD Channels Using Time-To-Live ValuesFull-text access may be available. Sign in or learn about subscription options.pp. 264-275
by Karla Vargas, Sergio Rajsbaum
Multilayer ROP Protection Via Microarchitectural Units Available in Commodity HardwareFull-text access may be available. Sign in or learn about subscription options.pp. 315-327
by Mateus Tymburibá, Hugo Arúajo de Sousa, Fernando Magno Quintão Pereira
Bonsai: Efficient Fast Failover Routing Using Small ArborescencesFull-text access may be available. Sign in or learn about subscription options.pp. 276-288
by Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan
SATIN: A Secure and Trustworthy Asynchronous Introspection on Multi-Core ARM ProcessorsFull-text access may be available. Sign in or learn about subscription options.pp. 289-301
by Shengye Wan, Jianhua Sun, Kun Sun, Ning Zhang, Qi Li
DeviceVeil: Robust Authentication for Individual USB Devices Using Physical Unclonable FunctionsFull-text access may be available. Sign in or learn about subscription options.pp. 302-314
by Kuniyasu Suzaki, Yohei Hori, Kazukuni Kobara, Mohammad Mannan
Deploying Intrusion-Tolerant SCADA for the Power GridFull-text access may be available. Sign in or learn about subscription options.pp. 328-335
by Amy Babay, John Schultz, Thomas Tantillo, Samuel Beckley, Eamon Jordan, Kevin Ruddell, Kevin Jordan, Yair Amir
Reaching Data Confidentiality and Model Accountability on the CalTrainFull-text access may be available. Sign in or learn about subscription options.pp. 336-348
by Zhongshu Gu, Hani Jamjoom, Dong Su, Heqing Huang, Jialong Zhang, Tengfei Ma, Dimitrios Pendarakis, Ian Molloy
Tell Me More Than Just Assembly! Reversing Cyber-Physical Execution Semantics of Embedded IoT Controller Software BinariesFull-text access may be available. Sign in or learn about subscription options.pp. 349-361
by Pengfei Sun, Luis Garcia, Saman Zonouz
Exploiting Latency and Error Tolerance of GPGPU Applications for an Energy-Efficient DRAMFull-text access may be available. Sign in or learn about subscription options.pp. 362-374
by Haonan Wang, Adwait Jog
Leveraging Transverse Reads to Correct Alignment Faults in Domain Wall MemoriesFull-text access may be available. Sign in or learn about subscription options.pp. 375-387
by Sébastien Ollivier, Donald Kline, Roxy Kawsher, Rami Melhem, Sanjukta Banja, Alex K. Jones
SuDoku: Tolerating High-Rate of Transient Failures for Enabling Scalable STTRAMFull-text access may be available. Sign in or learn about subscription options.pp. 388-400
by Prashant J. Nair, Bahar Asgari, Moinuddin K. Qureshi
NeXUS: Practical and Secure Access Control on Untrusted Storage Platforms using Client-Side SGXFull-text access may be available. Sign in or learn about subscription options.pp. 401-413
by Judicael B. Djoko, Jack Lange, Adam J. Lee
TEE-Perf: A Profiler for Trusted Execution EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 414-421
by Maurice Bailleu, Donald Dragoti, Pramod Bhatotia, Christof Fetzer
EPA-RIMM : An Efficient, Performance-Aware Runtime Integrity Measurement Mechanism for Modern Server PlatformsFull-text access may be available. Sign in or learn about subscription options.pp. 422-434
by Brian Delgado, Tejaswini Vibhute, John Fastabend, Karen Karavanic
Pseudo-Honeypot: Toward Efficient and Scalable Spam SnifferFull-text access may be available. Sign in or learn about subscription options.pp. 435-446
by Yihe Zhang, Hao Zhang, Xu Yuan, Nian-Feng Tzeng
Controller-Oblivious Dynamic Access Control in Software-Defined NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 447-459
by Steven R. Gomez, Samuel Jero, Richard Skowyra, Jason Martin, Patrick Sullivan, David Bigelow, Zachary Ellenbogen, Bryan C. Ward, Hamed Okhravi, James W. Landry
BorderPatrol: Securing BYOD using Fine-Grained Contextual InformationFull-text access may be available. Sign in or learn about subscription options.pp. 460-472
by Onur Zungur, Guillermo Suarez-Tangil, Gianluca Stringhini, Manuel Egele
Characterizing and Understanding HPC Job Failures Over The 2K-Day Life of IBM BlueGene/Q SystemFull-text access may be available. Sign in or learn about subscription options.pp. 473-484
by Sheng Di, Hanqi Guo, Eric Pershey, Marc Snir, Franck Cappello
Detecting "0-Day" Vulnerability: An Empirical Study of Secret Security Patch in OSSFull-text access may be available. Sign in or learn about subscription options.pp. 485-492
by Xinda Wang, Kun Sun, Archer Batcheller, Sushil Jajodia
Where Are You Taking Me? Behavioral Analysis of Open DNS ResolversFull-text access may be available. Sign in or learn about subscription options.pp. 493-504
by Jeman Park, Aminollah Khormali, Manar Mohaisen, Aziz Mohaisen
POLaR: Per-Allocation Object Layout RandomizationFull-text access may be available. Sign in or learn about subscription options.pp. 505-516
by Jonghwan Kim, Daehee Jang, Yunjong Jeong, Brent Byunghoon Kang
The Strength of Weak Randomization: Easily Deployable, Efficiently Searchable Encryption with Minimal LeakageFull-text access may be available. Sign in or learn about subscription options.pp. 517-529
by David Pouliot, Scott Griffy, Charles V. Wright
HeapTherapy+: Efficient Handling of (Almost) All Heap Vulnerabilities Using Targeted Calling-Context EncodingFull-text access may be available. Sign in or learn about subscription options.pp. 530-542
by Qiang Zeng, Golam Kayas, Emil Mohammed, Lannan Luo, Xiaojiang Du, Junghwan Rhee
FabZK: Supporting Privacy-Preserving, Auditable Smart Contracts in Hyperledger FabricFull-text access may be available. Sign in or learn about subscription options.pp. 543-555
by Hui Kang, Ting Dai, Nerla Jean-Louis, Shu Tao, Xiaohui Gu
Fast Predictive Repair in Erasure-Coded StorageFull-text access may be available. Sign in or learn about subscription options.pp. 556-567
by Zhirong Shen, Xiaolu Li, Patrick P. C. Lee
SBFT: A Scalable and Decentralized Trust InfrastructureFull-text access may be available. Sign in or learn about subscription options.pp. 568-580
by Guy Golan Gueta, Ittai Abraham, Shelly Grossman, Dahlia Malkhi, Benny Pinkas, Michael Reiter, Dragos-Adrian Seredinschi, Orr Tamir, Alin Tomescu
UChecker: Automatically Detecting PHP-Based Unrestricted File Upload VulnerabilitiesFull-text access may be available. Sign in or learn about subscription options.pp. 581-592
by Jin Huang, Yu Li, Junjie Zhang, Rui Dai
PrivAnalyzer: Measuring the Efficacy of Linux Privilege UseFull-text access may be available. Sign in or learn about subscription options.pp. 593-604
by John Criswell, Jie Zhou, Spyridoula Gravani, Xiaoyu Hu
1dVul: Discovering 1-Day Vulnerabilities through Binary PatchesFull-text access may be available. Sign in or learn about subscription options.pp. 605-616
by Jiaqi Peng, Feng Li, Bingchang Liu, Lili Xu, Binghong Liu, Kai Chen, Wei Huo
Revisiting Client Puzzles for State Exhaustion Attacks ResilienceFull-text access may be available. Sign in or learn about subscription options.pp. 617-629
by Mohammad A. Noureddine, Ahmed M. Fawaz, Amanda Hsu, Cody Guldner, Sameer Vijay, Tamer Başar, William H. Sanders
Robust Anomaly Detection on Unreliable DataFull-text access may be available. Sign in or learn about subscription options.pp. 630-637
by Zilong Zhao, Sophie Cerf, Robert Birke, Bogdan Robu, Sara Bouchenak, Sonia Ben Mokhtar, Lydia Y Chen
Pupillography as Indicator of Programmers' Mental Effort and Cognitive OverloadFull-text access may be available. Sign in or learn about subscription options.pp. 638-644
by Ricardo Couceiro, Gonçalo Duarte, João Durães, João Castelhano, Catarina Duarte, Cesar Teixeira, Miguel Castelo Branco, Paulo Carvalho, Henrique Madeira
Author indexFreely available from IEEE.pp. 645-648
Publisher's InformationFreely available from IEEE.pp. 650-650
Showing 71 out of 71