| 2020 | A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance. Joel Wanner, Laurent Chuat, Adrian Perrig |
| 2020 | A Generic Specification Framework for Weakly Consistent Replicated Data Types. Xue Jiang, Hengfeng Wei, Yu Huang |
| 2020 | AZ-Recovery: An Efficient Crossing-AZ Recovery Scheme for Erasure Coded Cloud Storage Systems. Xin Xie, Chentao Wu, Gen Yang, Zongxin Ye, Xubin He, Jie Li, Minyi Guo, Guangtao Xue, Yuanyuan Dong, Yafei Zhao |
| 2020 | An Efficient Query Scheme for Hybrid Storage Blockchains Based on Merkle Semantic Trie. Qingqi Pei, Enyuan Zhou, Yang Xiao, Deyu Zhang, Dongxiao Zhao |
| 2020 | Anomaly Detection via Mining Numerical Workflow Relations from Logs. Bo Zhang, Hongyu Zhang, Pablo Moscato, Aozhong Zhang |
| 2020 | Audinet: A Decentralized Auditing System for Cloud Storage. Meng Yan, Jiajia Xu, Trent G. Marbach, Haitao Li, Gang Wang, Xiaoguang Liu |
| 2020 | Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores. Duong N. Nguyen, Sandeep S. Kulkarni |
| 2020 | Consensus Beyond Thresholds: Generalized Byzantine Quorums Made Live. Orestis Alpos, Christian Cachin |
| 2020 | Demo: A Proof-of-Concept Implementation of Guard Secure Routing Protocol. Sanaz Taheri Boshrooyeh, Ali Utkan Sahin, Yahya Hassanzadeh-Nazarabadi, Öznur Özkasap |
| 2020 | Demo: Skip Graph Middleware Implementation. Yahya Hassanzadeh-Nazarabadi, Nazir Nayal, Shadi Sameh Hamdan, Ali Utkan Sahin, Öznur Özkasap, Alptekin Küpçü |
| 2020 | Device and Placement Aware Framework to optimize Single Failure Recoveries and Reads for Erasure Coded Storage System with Heterogeneous Storage Devices. Yingxun Fu, Xun Liu, Jiwu Shu, Zhirong Shen, Shiye Zhang, Jun Wu, Jianyong Duan, Li Ma |
| 2020 | Double Insurance: Incentivized Federated Learning with Differential Privacy in Mobile Crowdsensing. Chenhao Ying, Haiming Jin, Xudong Wang, Yuan Luo |
| 2020 | Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems. Vidhya Tekken Valapil, Sandeep S. Kulkarni, Eric Torng, Gabe Appleton |
| 2020 | Enabling I/O-Efficient Redundancy Transitioning in Erasure-Coded KV Stores via Elastic Reed-Solomon Codes. Si Wu, Zhirong Shen, Patrick P. C. Lee |
| 2020 | End-to-End Evaluation of Federated Learning and Split Learning for Internet of Things. Yansong Gao, Minki Kim, Sharif Abuadbba, Yeonjae Kim, Chandra Thapa, Kyuyeon Kim, Seyit Ahmet Çamtepe, Hyoungshick Kim, Surya Nepal |
| 2020 | Fast and Robust Distributed Learning in High Dimension. El-Mahdi El-Mhamdi, Rachid Guerraoui, Sébastien Rouault |
| 2020 | International Symposium on Reliable Distributed Systems, SRDS 2020, Shanghai, China, September 21-24, 2020 |
| 2020 | Intrusion-Tolerant and Confidentiality-Preserving Publish/Subscribe Messaging. Sisi Duan, Chao Liu, Xin Wang, Yusen Wu, Shuai Xu, Yelena Yesha, Haibin Zhang |
| 2020 | MQT-TZ: Hardening IoT Brokers Using ARM TrustZone : (Practical Experience Report). Carlos Segarra, Ricard Delgado-Gonzalo, Valerio Schiavoni |
| 2020 | NF-Crowd: Nearly-free Blockchain-based Crowdsourcing. Chao Li, Balaji Palanisamy, Runhua Xu, Jian Wang, Jiqiang Liu |
| 2020 | On the Detection of Shilling Attacks in Federated Collaborative Filtering. Yangfan Jiang, Yipeng Zhou, Di Wu, Chao Li, Yan Wang |
| 2020 | Parallel State Machine Replication from Generalized Consensus. Tarcisio Ceolin Junior, Fernando Luís Dotti, Fernando Pedone |
| 2020 | Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions. Jacob Nelson, Roberto Palmieri |
| 2020 | PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore. Loïck Bonniot, Christoph Neumann, François Taïani |
| 2020 | Poster: No More Slow Messages: Programmable Packet Handling in Hard IRQ. Ko Natori, Takafumi Kikuchi, Kenji Kono |
| 2020 | Protect Your Smart Contract Against Unfair Payment. Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen |
| 2020 | Robust Cache-Aware Quantum Processor Layout. Travis LeCompte, Fang Qi, Lu Peng |
| 2020 | Robust P2P Personalized Learning. Karim Boubouh, Amine Boussetta, Yahya Benkaouz, Rachid Guerraoui |
| 2020 | Secure Embedding of Rooted Spanning Trees for Scalable Routing in Topology-Restricted Networks. Martin Byrenheid, Thorsten Strufe, Stefanie Roos |
| 2020 | Self-Stabilizing Construction of a Minimal Weakly ST-Reachable Directed Acyclic Graph. Junya Nakamura, Masahiro Shibata, Yuichi Sudo, Yonghwan Kim |
| 2020 | Self-optimising Application-agnostic Multithreading for Replicated State Machines. Gerhard Habiger, Franz J. Hauck, Hans P. Reiser, Johannes Köstler |
| 2020 | Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults. Daniela Loreti, Marcello Artioli, Anna Ciampolini |
| 2020 | TLP-IDS: A Two-layer Intrusion Detection System for Integrated Electronic Systems. Xiaoxia Liu, Daojing He, Yun Gao, Sencun Zhu, Sammy Chan |
| 2020 | TZ4Fabric: Executing Smart Contracts with ARM TrustZone : (Practical Experience Report). Christina Müller, Marcus Brandenburger, Christian Cachin, Pascal Felber, Christian Göttel, Valerio Schiavoni |
| 2020 | Towards Efficient, Credible and Privacy-Preserving Service QoS Prediction in Unreliable Mobile Edge Environments. Yilei Zhang, Peiyun Zhang, Yonglong Luo, Liya Ji |
| 2020 | Using Model Checking to Formally Verify Rendezvous Algorithms for Robots with Lights in Euclidean Space. Xavier Défago, Adam Heriban, Sébastien Tixeuil, Koichi Wada |