Program/Accepted Papers
List of accepted papers:
| In-Vivo Fuzz Testing for Network Services |
Lai, Wen-Yang; National Yang Ming Chiao Tung University; Taiwan Tsai, Kun-Che; National Yang Ming Chiao Tung University; Taiwan Chen, Che; National Yang Ming Chiao Tung University; Taiwan Wu, Yu-Sung; National Yang Ming Chiao Tung University; Taiwan |
| Soter: Deep Learning Enhanced In-Network Attack Detection Based on Programmable Switches |
Xie, Guorui; Tsinghua University; China Li, Qing; Peng Cheng Laboratory; China Cui, Chupeng; Jilin University; China Zhu, Peican; Northwestern Polytechnical University Xi'an; China Zhao, Dan; Peng Cheng Laboratory; China Shi, Wanxin; Tsinghua University; China Qi, Zhuyun; Peng Cheng Laboratory; China Jiang, Yong; Tsinghua Shenzhen International Graduate School; China Xiao, Xi; Tsinghua Shenzhen International Graduate School; China |
| Never Too Late: Tracing and Mitigating Backdoor Attacks in Federated Learning |
Zeng, Hui; College of Computer, NUDT; China Zhou, Tongqing; College of Computer, NUDT; China Xinyi, Wu; College of Computer, NUDT; China Cai, Zhiping; College of Computer, NUDT; China |
| SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems |
Cai, Miao; Hohai University; China Shen, Junru; Hohai University; China Zhang, Tianning; Nanjing University; China Huang, Hao; Nanjing University; China Ye, Baoliu; Hohai University; China |
| An In-Depth Correlative Study Between DRAM Errors and Server Failures in Production Data Centers |
Cheng, Zhinan; The Chinese University of Hong Kong; China Han, Shujie; Peking University; China Lee, Patrick P. C.; The Chinese University of Hong Kong; China Li, Xin; Alibaba Group; China Liu, Jiongzhou; Alibaba Group; China Li, Zhan; Alibaba Group; China |
| An Investigation on Data Center Cooling Systems Using FPGA-based Temperature Side Channels |
Liang, Yuan; Virginia Tech; United States of America Gao, Xing; University of Delaware; United States of America Sun, Kun; George Mason University; United States of America Xiong, Wenjie; Virginia Tech; United States of America Wang, Haining; Virginia Tech; United States of America |
| A Performance Study of Epoch-based Commit Protocols in Distributed OLTP Databases |
Ezhilchelvan, Paul; Newcastle University; United Kingdom Waudby, Jack; Newcastle University; United Kingdom Mitrani, Isi; Newcastle University; United Kingdom Webber, Jim; Neo4J, London; United Kingdom |
| Byzantine Auditable Atomic Register with Optimal Resilience |
Rapetti, Alexandre; University Paris-Saclay, CEA, List, F-91120, Palaiseau, France; France Pozzo, Antonella Del; University Paris-Saclay, CEA, List, F-91120, Palaiseau, France; France Milani, Alessia; Aix Marseille University, LIS UMR 7020 CNRS, Marseille, France; France |
| Detection and Incentive: An tampering detection mechanism for object detection in edge computing |
Zhao, Zhihui; School of Cyber Security, University of Chinese Academy of Sciences; China Zeng, Yicheng; School of Cyber Security, University of Chinese Academy of Sciences; China Wang, Jinfa; Institute of Information Engineering, Chinese Academy of Sciences; China Li, Hong; Institute of Information Engineering, Chinese Academy of Sciences; China Zhu, Hongsong; School of Cyber Security, University of Chinese Academy of Sciences; China Sun, Limin; School of Cyber Security, University of Chinese Academy of Sciences; China |
| XHR-Code: An Efficient Wide Stripe Erasure Code to Reduce Cross-Rack Overhead in Cloud Storage Systems |
Yang, Guofeng; Shanghai Jiao Tong University; China Xue, Huangzhen; Shanghai Jiao Tong University; China Gu, Yunfei; Shanghai Jiao Tong University; China Wu, Chentao; Shanghai Jiao Tong University; China Li, Jie; Shanghai Jiao Tong University; China Guo, Minyi; Shanghai Jiao Tong University; China Li, Shiyi; Harbin Institute of Technology, Shenzhen; China Xie, Xin; Alibaba Group; China Dong, Yuanyuan; Alibaba Group; China Zhao, Yafei; Alibaba Group; China |
| FWC: Fitting Weight Compression Method for Reducing Communication Traffic for Federated Learning |
Jiang, Hao; Nanjing University of Science and Technology; China Yan, Kedong; Nanjing University of Science and Technology; China Huang, Chanying; Nanjing University of Science and Technology; China Li, Qianmu; Nanjing University of Science and Technology; China Xiao,, Shan; Fiberhome Communication Technology Co., Ltd; China |
| Compositional Model Checking of Consensus Protocols Specified in TLA+ via Interaction-Preserving Abstraction |
Gu, Xiaosong; Nanjing University; China Cao, Wei; Alibaba Group; China Zhu, Yicong; Alibaba Group; China Song, Xuan; Alibaba Group; China Huang, Yu; Nanjing University; China Ma, Xiaoxing; Nanjing University; China |
| Democratizing Machine Learning |
Boubouh, Karim; UM6P; Morocco Boussetta, Amine; UM6P; Morocco Gupta, Nirupam; EPFL; Switzerland Maurer, Alexandre; UM6P; Morocco Pinot, Rafael; EPFL; Switzerland |
| Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis - |
Buchholz, Peter; TU Dortmund university; Germany Blume, Andreas; TU Dortmund university; Germany |
| G-SINC: Global Synchronization Infrastructure for Network Clocks |
Frei, Marc; ETH Zürich; Switzerland Kwon, Jonghoon; ETH Zürich; Switzerland Tabaeiaghdaei, Seyedali; ETH Zürich; Switzerland Wyss, Marc; ETH Zürich; Switzerland Lenzen, Christoph; Max-Planck-Institut für Informatik; Germany Perrig, Adrian; ETH Zürich; Switzerland |
| Babel: A Framework for Developing Performant and Dependable Distributed Protocols |
Fouto, Pedro; DI-FCT-UNL & NOVALINCS; Portugal Costa, Pedro Akos; DI-FCT-UNL & NOVALINCS; Portugal Preguioa,, Nuno; DI-FCT-UNL & NOVALINCS; Portugal Leitao, Joao; DI-FCT-UNL & NOVALINCS; Portugal |
| Achieving Scalability and Load Balance across Blockchain Shards for State Sharding |
Li, Canlin; Sun Yat-sen University; China Huang<, Huawei; Sun Yat-sen University; China Zhao, Yetong; Sun Yat-sen University; China Peng, Xiaowen; Sun Yat-sen University; China Yang, Ruijie; Huawei Blockchain Lab, Huawei Cloud Tech Co., Ltd.; China Zheng, Zibin; Sun Yat-sen University; China Guo, Song; The Hong Kong Polytechnic University; China |
| D-Cliques: Compensating for Data Heterogeneity with Topology in Decentralized Federated Learning |
Bellet, Auralien; Inria Lille; France Kermarrec, Anne-Marie; EPFL; Switzerland Lavoie, Erick; EPFL; Switzerland |
| Silent Anonymous Snap-Stabilizing Termination Detection | Blin, Lalia; LIP6, University d'Evry Val d'Essone; France Johnen, Colette; LIP6, INRIA, University of Bordeaux; France Le Bouder, Gabriel; LIP6, INRIA, Sorbonne University; France Petit, Franck; LIP6, INRIA, Sorbonne University; France |
| Reliable Password Hardening Service with Opt-Out | Jia, Chunfu; Nankai University; China Wu, Shaoqiang; Nankai University; China Wang, Ding; Nankai University; China |
| Real-Time Byzantine Resilience for Power Grid Substations | Bommareddy, Sahiti; Johns Hopkins University; United States of America Qian Daniel; Johns Hopkins University; United States of America Bonebrake, Christopher; Pacific Northwest National Laboratory; United States of America Skare, Paul; Pacific Northwest National Laboratory; United States of America Amir, Yair; Johns Hopkins University; United States of America |
| AGIC: Approximate Gradient Inversion Attack on Federated Learning |
Xu, Jin; Delft University of Technology; Netherlands Decouchant, Jeremie; Delft University of Technology; Netherlands Hong Chi; Delft University of Technology; Netherlands Huang, Jiyue; Delft University of Technology; Netherlands Chen, Lydia Y; Delft University of Technology; Netherlands |
| Secure Publish-Process-Subscribe System for Dispersed Computing |
Jin, Weizhao; University of Southern California; United States of America Krishnamachari, Bhaskar; University of Southern California; United States of America Naveed, Muhammad; University of Southern California; United States of America Ravi, Srivatsan; University of Southern California; United States of America Sanou, Eduard; University of Southern California; United States of America Wright, Kwame-Lante; Carnegie Mellon University; United States of America |
| DAG-based Task Orchestration for Edge Computing |
Li, Xiang; Purdue University; United States of America Abdallah, Mustafa; Purdue University; United States of America Suryavansh, Shikhar; Cisco Systems; United States of America Chiang, Mung; Purdue University; United States of America Kim, Kwang Taik; Purdue University; United States of America Bagchi, Saurabh; Purdue University; United States of America |