Program/Program Overview

Chair: Rui Oliveira, Univ of Minho, Portugal

• 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).

• 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).

• 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).

Chair: Saurabh Bagchi, Purdue University, US

• 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).

• 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).

• 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).

Chair: Luis Rodriguez, INESC, Portugal

• Never Too Late: Tracing and Mitigating Backdoor Attacks in Federated Learning
  

  Hui Zeng, Tongqing Zhou, Wu Xinyi, Zhiping Cai.

• 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).

Chair: Paul Ezhilchelvan, Newcastle Univ., United Kingdom

• Byzantine Auditable Atomic Register with Optimal Resilience
  

  Rapetti, Alexandre (University Paris-Saclay, CEA, List, F-91120, Palaiseau, France), Pozzo, Antonella Del (University Paris-Saclay, CEA, List, F-91120, Palaiseau, France), Milani, Alessia (Aix Marseille University, LIS UMR 7020 CNRS, Marseille, France).

• 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).

• 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).

Chair: Somali Chaterji, Purdue University, US

• Detection and Incentive: A 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).

• 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).

Chair: Karthik Pattabiraman, Univ. of British Columbia, Canada

• 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).

• Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis
  

  Buchholz, Peter (TU Dortmund University; Germany), Blume, Andreas (TU Dortmund University; Germany).

• 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).

Chair: Xiaolin Chang, Beijing Jiaotong University, China

• Soter: Deep Learning Enhanced In-Network Attack Detection Based on Programmable Switches
  

  Guorui Xie, Qing Li, Chupeng Cui, Peican Zhu, Dan Zhao, Wanxin Shi, Zhuyun Qi, Yong Jiang, Xi Xiao.

• SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems
  

  Miao Cai, Junru Shen, Tianning Zhang, Hao Huang, Baoliu Ye.

• Reliable Password Hardening Service with Opt-Out
  

  Jia, Chunfu (Nankai University; China), Wu, Shaoqiang (Nankai University; China), Wang, Ding (Nankai University; China).

Chair: Muntasir Rahman, Microsoft, US

• An In-Depth Correlative Study Between DRAM Errors and Server Failures in Production Data Centers
  

  Zhinan Cheng, Shujie Han, Patrick P. C. Lee, Xin Li, Jiongzhou Liu, Zhan Li.

• 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).

• 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).