| 2020 | 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020 |
| 2020 | An Experimental Study of Reduced-Voltage Operation in Modern FPGAs for Neural Network Acceleration. Behzad Salami, Erhan Baturay Onural, Ismail Emir Yuksel, Fahrettin Koc, Oguz Ergin, Adrián Cristal Kestelman, Osman S. Unsal, Hamid Sarbazi-Azad, Onur Mutlu |
| 2020 | CATI: Context-Assisted Type Inference from Stripped Binaries. Ligeng Chen, Zhongling He, Bing Mao |
| 2020 | CDN Backfired: Amplification Attacks Based on HTTP Range Requests. Weizhong Li, Kaiwen Shen, Run Guo, Baojun Liu, Jia Zhang, Haixin Duan, Shuang Hao, Xiarun Chen, Yao Wang |
| 2020 | Chaser: An Enhanced Fault Injection Tool for Tracing Soft Errors in MPI Applications. Qiang Guan, Xunchao Hu, Terence Grove, Bo Fang, Hailong Jiang, Heng Yin, Nathan DeBardeleben |
| 2020 | Comprehensive Java Metadata Tracking for Attack Detection and Repair. Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard |
| 2020 | Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling. Haotian Chi, Qiang Zeng, Xiaojiang Du, Jiaping Yu |
| 2020 | Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma. Maher Alharby, Roben Castagna Lunardi, Amjad Aldweesh, Aad van Moorsel |
| 2020 | Depending on HTTP/2 for Privacy? Good Luck! Gargi Mitra, Prasanna Karthik Vairam, Patanjali SLPSK, Nitin Chandrachoodan, Kamakoti Veezhinathan |
| 2020 | Diving into Email Bomb Attack. Markus Schneider, Haya Schulmann, Adi Sidis, Ravid Sidis, Michael Waidner |
| 2020 | EPIC: Efficient Asynchronous BFT with Adaptive Security. Chao Liu, Sisi Duan, Haibin Zhang |
| 2020 | Enhancing Reliability-Aware Speedup Modelling via Replication. Zaeem Hussain, Taieb Znati, Rami G. Melhem |
| 2020 | Ephemeral Exit Bridges for Tor. Zhao Zhang, Tavish Vaidya, Kartik Subramanian, Wenchao Zhou, Micah Sherr |
| 2020 | Extreme Protection Against Data Loss with Single-Overlap Declustered Parity. Huan Ke, Haryadi S. Gunawi, David Bonnie, Nathan DeBardeleben, Michael Grosskopf, Terry Grové, Dominic Manno, Elisabeth Moore, Brad Settlemyer |
| 2020 | FSTR: Funds Skewness Aware Transaction Routing for Payment Channel Networks. Siyi Lin, Jingjing Zhang, Weigang Wu |
| 2020 | Fine-Grained Fault Tolerance for Resilient pVM-Based Virtual Machine Monitors. Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noël De Palma |
| 2020 | Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory. Samantha Archer, Georgios Mappouras, A. Robert Calderbank, Daniel J. Sorin |
| 2020 | From Byzantine Replication to Blockchain: Consensus is Only the Beginning. Alysson Bessani, Eduardo Alchieri, João Sousa, André Oliveira, Fernando Pedone |
| 2020 | HAMS: High Availability for Distributed Machine Learning Service Graphs. Shixiong Zhao, Xusheng Chen, Cheng Wang, Fanxin Li, Qi Ji, Heming Cui, Cheng Li, Sen Wang |
| 2020 | HardSnap: Leveraging Hardware Snapshotting for Embedded Systems Security Testing. Nassim Corteggiani, Aurélien Francillon |
| 2020 | Hybrid Firmware Analysis for Known Mobile and IoT Security Vulnerabilities. Pengfei Sun, Luis Garcia, Gabriel Salles-Loustau, Saman A. Zonouz |
| 2020 | Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum. Paulo Silva, David Vavricka, João Barreto, Miguel Matos |
| 2020 | JSKernel: Fortifying JavaScript against Web Concurrency Attacks via a Kernel-Like Structure. Zhanhao Chen, Yinzhi Cao |
| 2020 | KShot: Live Kernel Patching with SMM and SGX. Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang |
| 2020 | Leaky DNN: Stealing Deep-Learning Model Secret with GPU Context-Switching Side-Channel. Junyi Wei, Yicheng Zhang, Zhe Zhou, Zhou Li, Mohammad Abdullah Al Faruque |
| 2020 | Learning to Reliably Deliver Streaming Data with Apache Kafka. Han Wu, Zhihao Shang, Katinka Wolter |
| 2020 | Libspector : Context-Aware Large-Scale Network Traffic Analysis of Android Applications. Onur Zungur, Gianluca Stringhini, Manuel Egele |
| 2020 | ML-Driven Malware that Targets AV Safety. Saurabh Jha, Shengkun Cui, Subho S. Banerjee, James Cyriac, Timothy Tsai, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2020 | Mining Multivariate Discrete Event Sequences for Knowledge Discovery and Anomaly Detection. Bin Nie, Jianwu Xu, Jacob Alter, Haifeng Chen, Evgenia Smirni |
| 2020 | Omega: a Secure Event Ordering Service for the Edge. Cláudio Correia, Miguel Correia, Luís Rodrigues |
| 2020 | On Incentive Compatible Role-Based Reward Distribution in Algorand. Mehdi Fooladgar, Mohammad Hossein Manshaei, Murtuza Jadliwala, Mohammad Ashiqur Rahman |
| 2020 | Online Payments by Merely Broadcasting Messages. Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis |
| 2020 | PolygraphMR: Enhancing the Reliability and Dependability of CNNs. Salar Latifi, Babak Zamirai, Scott A. Mahlke |
| 2020 | ProFIPy: Programmable Software Fault Injection as-a-Service. Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella |
| 2020 | Quantifying DNN Model Robustness to the Real-World Threats. Zhenyu Zhong, Zhisheng Hu, Xiaowei Chen |
| 2020 | Real-Time Context-Aware Detection of Unsafe Events in Robot-Assisted Surgery. Mohammad Samin Yasar, Homa Alemzadeh |
| 2020 | Reliable, Efficient Recovery for Complex Services with Replicated Subsystems. Edward Tremel, Sagar Jha, Weijia Song, David C. Y. Chu, Ken Birman |
| 2020 | SMACS: Smart Contract Access Control Service. Bowen Liu, Siwei Sun, Pawel Szalachowski |
| 2020 | Scalable Approach to Enhancing ICS Resilience by Network Diversity. Tingting Li, Cheng Feng, Chris Hankin |
| 2020 | Scarecrow: Deactivating Evasive Malware via Its Own Evasive Logic. Jialong Zhang, Zhongshu Gu, Jiyong Jang, Dhilung Kirat, Marc Ph. Stoecklin, Xiaokui Shu, Heqing Huang |
| 2020 | SeGShare: Secure Group File Sharing in the Cloud using Enclaves. Benny Fuhry, Lina Hirschoff, Samuel Koesnadi, Florian Kerschbaum |
| 2020 | Service-Based Resilience for Embedded IoT Networks. Doganalp Ergenc, Jacek Rak, Mathias Fischer |
| 2020 | Smart Contracts on the Move. Enrique Fynn, Alysson Bessani, Fernando Pedone |
| 2020 | The Impact of DNS Insecurity on Time. Philipp Jeitner, Haya Schulmann, Michael Waidner |
| 2020 | The Mystery of the Failing Jobs: Insights from Operational Data from Two University-Wide Computing Systems. Rakesh Kumar |
| 2020 | TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri |
| 2020 | Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders. Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer |
| 2020 | UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System. Tsz On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Jiacheng Ma, Xusheng Chen, Tianxiang Shen, Heming Cui, Yuexuan Wang, Peng Wang |
| 2020 | iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors. Rens Dofferhoff, Michael Göbel, Kristian F. D. Rietveld, Erik van der Kouwe |