Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID50th DSN 2020: Valencia, Spain
- 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2020, Valencia, Spain, June 29 - July 2, 2020. IEEE 2020, ISBN 978-1-7281-5809-9
Best Paper Session
- Lei Zhou, Fengwei Zhang, Jinghui Liao, Zhenyu Ning, Jidong Xiao, Kevin Leach, Westley Weimer, Guojun Wang:
KShot: Live Kernel Patching with SMM and SGX. 1-13 - Weizhong Li, Kaiwen Shen, Run Guo, Baojun Liu, Jia Zhang
, Haixin Duan, Shuang Hao, Xiarun Chen, Yao Wang:
CDN Backfired: Amplification Attacks Based on HTTP Range Requests. 14-25 - Daniel Collins, Rachid Guerraoui, Jovan Komatovic, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Yvonne-Anne Pignolet, Dragos-Adrian Seredinschi, Andrei Tonkikh, Athanasios Xygkis:
Online Payments by Merely Broadcasting Messages. 26-38
Session 1 - Software Dependability
- Jeff H. Perkins, Jordan Eikenberry, Alessandro Coglio, Martin C. Rinard:
Comprehensive Java Metadata Tracking for Attack Detection and Repair. 39-51 - Habib Saissi, Stefan Winter, Oliver Schwahn, Karthik Pattabiraman, Neeraj Suri:
TraceSanitizer - Eliminating the Effects of Non-Determinism on Error Propagation Analysis. 52-63 - Zhanhao Chen, Yinzhi Cao:
JSKernel: Fortifying JavaScript against Web Concurrency Attacks via a Kernel-Like Structure. 64-75 - Jialong Zhang, Zhongshu Gu, Jiyong Jang, Dhilung Kirat, Marc Ph. Stoecklin, Xiaokui Shu, Heqing Huang:
Scarecrow: Deactivating Evasive Malware via Its Own Evasive Logic. 76-87 - Ligeng Chen, Zhongling He, Bing Mao:
CATI: Context-Assisted Type Inference from Stripped Binaries. 88-98
Session 2 - Machine Learning Resilience
- Salar Latifi, Babak Zamirai, Scott A. Mahlke:
PolygraphMR: Enhancing the Reliability and Dependability of CNNs. 99-112 - Saurabh Jha, Shengkun Cui, Subho S. Banerjee, James Cyriac, Timothy Tsai, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
ML-Driven Malware that Targets AV Safety. 113-124 - Junyi Wei, Yicheng Zhang, Zhe Zhou, Zhou Li, Mohammad Abdullah Al Faruque:
Leaky DNN: Stealing Deep-Learning Model Secret with GPU Context-Switching Side-Channel. 125-137 - Behzad Salami, Erhan Baturay Onural, Ismail Emir Yuksel, Fahrettin Koc, Oguz Ergin, Adrián Cristal Kestelman, Osman S. Unsal, Hamid Sarbazi-Azad, Onur Mutlu:
An Experimental Study of Reduced-Voltage Operation in Modern FPGAs for Neural Network Acceleration. 138-149 - Zhenyu Zhong, Zhisheng Hu, Xiaowei Chen:
Quantifying DNN Model Robustness to the Real-World Threats. 150-157
Session 3 - Systems Dependability
- Rakesh Kumar:
The Mystery of the Failing Jobs: Insights from Operational Data from Two University-Wide Computing Systems. 158-171 - Edward Tremel, Sagar Jha, Weijia Song, David Chu, Ken Birman:
Reliable, Efficient Recovery for Complex Services with Replicated Subsystems. 172-183 - Shixiong Zhao, Xusheng Chen, Cheng Wang, Fanxin Li, Qi Ji, Heming Cui, Cheng Li, Sen Wang:
HAMS: High Availability for Distributed Machine Learning Service Graphs. 184-196 - Djob Mvondo, Alain Tchana, Renaud Lachaize, Daniel Hagimont, Noël De Palma:
Fine-Grained Fault Tolerance for Resilient pVM-Based Virtual Machine Monitors. 197-208
Session 4 - Blockchain
- Maher Alharby, Roben Castagna Lunardi, Amjad Aldweesh, Aad van Moorsel:
Data-Driven Model-Based Analysis of the Ethereum Verifier's Dilemma. 209-220 - Bowen Liu, Siwei Sun, Pawel Szalachowski:
SMACS: Smart Contract Access Control Service. 221-232 - Enrique Fynn, Alysson Bessani, Fernando Pedone:
Smart Contracts on the Move. 233-244 - Paulo Silva, David Vavricka, João Barreto, Miguel Matos:
Impact of Geo-Distribution and Mining Pools on Blockchains: A Study of Ethereum. 245-252
Session 5 - Network Security and Privacy
- Zhao Zhang, Tavish Vaidya, Kartik Subramanian, Wenchao Zhou, Micah Sherr:
Ephemeral Exit Bridges for Tor. 253-265 - Philipp Jeitner, Haya Schulmann, Michael Waidner:
The Impact of DNS Insecurity on Time. 266-277 - Gargi Mitra, Prasanna Karthik Vairam, Patanjali SLPSK, Nitin Chandrachoodan, Kamakoti Veezhinathan:
Depending on HTTP/2 for Privacy? Good Luck! 278-285 - Markus Schneider, Haya Schulmann, Adi Sidis, Ravid Sidis, Michael Waidner:
Diving into Email Bomb Attack. 286-293
Session 6 - Embedded and Mobile
- Nassim Corteggiani, Aurélien Francillon:
HardSnap: Leveraging Hardware Snapshotting for Embedded Systems Security Testing. 294-305 - Rens Dofferhoff, Michael Göbel, Kristian F. D. Rietveld, Erik van der Kouwe:
iScanU: A Portable Scanner for Undocumented Instructions on RISC Processors. 306-317 - Onur Zungur, Gianluca Stringhini, Manuel Egele:
Libspector : Context-Aware Large-Scale Network Traffic Analysis of Android Applications. 318-330
Session 7 - Memory and Storage
- Samantha Archer, Georgios Mappouras, A. Robert Calderbank, Daniel J. Sorin:
Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory. 331-342 - Huan Ke, Haryadi S. Gunawi, David Bonnie, Nathan DeBardeleben, Michael Grosskopf, Terry Grové, Dominic Manno, Elisabeth Moore, Brad Settlemyer:
Extreme Protection Against Data Loss with Single-Overlap Declustered Parity. 343-354
Session 8 - Fault Injection Tools
- Qiang Guan, Xunchao Hu, Terence Grove, Bo Fang, Hailong Jiang, Heng Yin, Nathan DeBardeleben:
Chaser: An Enhanced Fault Injection Tool for Tracing Soft Errors in MPI Applications. 355-363 - Domenico Cotroneo, Luigi De Simone, Pietro Liguori, Roberto Natella:
ProFIPy: Programmable Software Fault Injection as-a-Service. 364-372
Session 9 - IoT and Cyber-Physical Systems
- Pengfei Sun, Luis Garcia, Gabriel Salles-Loustau, Saman A. Zonouz:
Hybrid Firmware Analysis for Known Mobile and IoT Security Vulnerabilities. 373-384 - Mohammad Samin Yasar, Homa Alemzadeh:
Real-Time Context-Aware Detection of Unsafe Events in Robot-Assisted Surgery. 385-397 - Tingting Li, Cheng Feng, Chris Hankin:
Scalable Approach to Enhancing ICS Resilience by Network Diversity. 398-410 - Haotian Chi, Qiang Zeng, Xiaojiang Du, Jiaping Yu:
Cross-App Interference Threats in Smart Homes: Categorization, Detection and Handling. 411-423
Session 10 - Byzantine to Blockchain
- Alysson Bessani, Eduardo Alchieri, João Sousa, André Oliveira, Fernando Pedone:
From Byzantine Replication to Blockchain: Consensus is Only the Beginning. 424-436 - Chao Liu, Sisi Duan, Haibin Zhang:
EPIC: Efficient Asynchronous BFT with Adaptive Security. 437-451 - Mehdi Fooladgar, Mohammad Hossein Manshaei, Murtuza Jadliwala, Mohammad Ashiqur Rahman:
On Incentive Compatible Role-Based Reward Distribution in Algorand. 452-463 - Siyi Lin, Jingjing Zhang, Weigang Wu:
FSTR: Funds Skewness Aware Transaction Routing for Payment Channel Networks. 464-475
Session 11 - Trusted Cloud Computing
- Benny Fuhry, Lina Hirschoff, Samuel Koesnadi, Florian Kerschbaum:
SeGShare: Secure Group File Sharing in the Cloud using Enclaves. 476-488 - Cláudio Correia, Miguel Correia, Luís Rodrigues:
Omega: a Secure Event Ordering Service for the Edge. 489-501 - Franz Gregor, Wojciech Ozga, Sébastien Vaucher, Rafael Pires, Do Le Quoc, Sergei Arnautov, André Martin, Valerio Schiavoni, Pascal Felber, Christof Fetzer:
Trust Management as a Service: Enabling Trusted Execution in the Face of Byzantine Stakeholders. 502-514 - Tsz On Li, Jianyu Jiang, Ji Qi, Chi Chiu So, Jiacheng Ma, Xusheng Chen, Tianxiang Shen, Heming Cui, Yuexuan Wang, Peng Wang:
UPA: An Automated, Accurate and Efficient Differentially Private Big-Data Mining System. 515-527
Session 12 - Formal and ML Modeling
- Zaeem Hussain, Taieb Znati, Rami G. Melhem:
Enhancing Reliability-Aware Speedup Modelling via Replication. 528-539 - Doganalp Ergenc, Jacek Rak, Mathias Fischer:
Service-Based Resilience for Embedded IoT Networks. 540-551 - Bin Nie, Jianwu Xu, Jacob Alter, Haifeng Chen, Evgenia Smirni:
Mining Multivariate Discrete Event Sequences for Knowledge Discovery and Anomaly Detection. 552-563 - Han Wu, Zhihao Shang, Katinka Wolter:
Learning to Reliably Deliver Streaming Data with Apache Kafka. 564-571
a service of 
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.
last updated on 2024-04-22 21:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
