Conference Program

All times are in Eastern Daylight Time (EDT) = UTC - 4

All videos can be found at the SRDS 2021 Youtube Channel

DAY 1

September 21^st, 2021

08:45 - 09:00  Welcome

09:00 - 10:00  Keynote: Maurice Herlihy (Chair: Borzoo Bonakdarpour)  [LIVE STREAM]

10:15 - 10:45  Session 1: Fault Tolerance I (Chair: Amy Babay)

  10:15   Chaos Duck: a Tool for Automatic IoT Software Fault-Tolerance Analysis
          Igor Zavalyshyn, Thomas Given-Wilson, Axel Legay, Ramin Sadre, Etienne Riviere
          [VIDEO]

  10:25   Active replication for latency-sensitive stream processing in Apache Flink
          Guillaume Rosinosky, Florian Schmidt, Oleh Bodunov, Christof Fetzer, André Martin, Etienne Rivière
          [VIDEO]

  10:35   Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction
          Hadi Moloodi, Fathiyeh Faghih, Borzoo Bonakdarpour
          [VIDEO]

10:55 - 11:25  Session 2: Fault Tolerance II (Chair: Miguel Matos)

  10:55   Threat Adaptive Byzantine Fault Tolerant State-Machine Replication
          Douglas Simões Silva, Rafal Graczyk, Jérémie Decouchant, Marcus Völp, Paulo Esteves-Verissimo
          [VIDEO]

  11:05   Failure Recovery from Persistent Memory in Paxos-based State Machine Replication
          Jan Kończak, Paweł T. Wojciechowski
          [VIDEO]

  11:15   Enabling Low-Redundancy Proactive Fault Tolerance for Stream Machine Learning via Erasure Coding
          Zhinan Cheng, Lu Tang, Qun Huang, Patrick P. C. Lee
          [VIDEO]

11:35 - 12:05  Session 3: Blockchain (Chair: David Kozhaya)

  11:35   Characterizing the Impact of Network Delay on Bitcoin Mining
          Tong Cao, Jérémie Decouchant, Jiangshan Yu, Paulo Esteves-Verissimo
          [VIDEO]

  11:45   How to Trust Strangers: Composition of Byzantine Quorum Systems
          Orestis Alpos, Christian Cachin, Luca Zanolini
          [VIDEO]

  11:55   Vassago: Efficient and Authenticated Provenance Query on Multiple Blockchains
          Rui Han, Jiang Xiao, Xiaohai Dai, Shijie Zhang, Yi Sun, Baochun Li, Hai Jin
          [VIDEO]

12:10 - 13:10  PhD Forum & Poster Session (Chair: TBD)

  12:10   Sharding Techniques in the Era of Blockchain
          Chunyu Mao, Wojciech Golab

  12:20   Adaptive Erasure Coded Data Maintenance for Consensus in Distributed Networks
          Yulei Jia, Guangping Xu, Chi Wan Sung, Salwa Mostafa

  12:30   Runtime Verification for Blockchains
          Ritam Ganguly

  12:40   Runtime Verification for Distributed Cyber-Physical Systems
          Anik Momtaz

  12:50   Zelig: Customizable Blockchain Simulator
          Ege Erdoğan, Can Arda Aydın, Öznur Özkasap, Waris Gill

  13:00   EdgeMLSim: A Framework for Modeling and Simulation of Edge Computing and Evaluation of Fault-tolerant Machine Learning
          Anran Du, Yicheng Shen, Zhangyang Wei, Lewis Tseng

DAY 2

September 22^nd, 2021

08:50 - 09:00  Opening

09:00 - 10:00  Keynote: Hagit Attiya (Chair: Yvonne-Anne Pignolet)  [LIVE STREAM]

10:15 - 10:45  Session 4: Best Paper Finalists (Chair: Roberto Palmieri)

  10:15   Node-level indicators of soft faults in wireless sensor networks
          Dominik Widhalm, Karl M. Goeschka, Wolfgang Kastner
          [VIDEO]

  10:25   The design, architecture and performance of the Tendermint Blockchain Network
          Daniel Cason, Enrique Fynn, Nenad Milosevic, Zarko Milosevic, Ethan Buchman, Fernando Pedone
          [VIDEO]

  10:35   Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs
          Chrysoula Stathakopoulou, Signe Rüsch, Marcus Brandenburger, Marko Vukolic
          [VIDEO]

10:55 - 11:25  Session 5: Best Paper Award (Chair: Roberto Palmieri)

  10:55   Making Reads in BFT State Machine Replication Fast, Linearizable, and Live
          Christian Berger, Hans P. Reiser, Alysson Bessani
          [VIDEO]

11:35 - 12:15  Session 6: Security and Privacy I (Chair: Shuai Hao)

  11:35   Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
          Xian Zhang, Xiaobing Guo, Zixuan Zeng, Wenyan Liu, Zhongxin Guo, Yang Chen, Shuo Chen, Qiufeng Yin, Mao Yang
          [VIDEO]

  11:45   BROFY: Towards Essential Integrity Protection for Microservices
          Ardhi Putra Pratama Hartono, Christof Fetzer
          [VIDEO]

  11:55   A Secure Access and Accountability Framework for Provisioning Services in Named Data Networks
          Nazatul H. Sultan, Vijay Varadharajan, Chandan Kumar, Seyit Camtepe, Surya Nepal
          [VIDEO]

  12:05   CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes
          Rogério Pontes, Bernardo Portela, Manuel Barbosa, Ricardo Vilaça
          [VIDEO]

12:20 - 12:50  Session 7: Security and Privacy II (Chair: Yvonne-Anne Pignolet)

  12:20   Scrooge Attack: Undervolting ARM Processors for Profit
          Christian Göttel, Konstantinos Parasyris, Osman Unsal, Pascal Felber, Marcelo Pasin, Valerio Schiavoni
          [VIDEO]

  12:30   2PPS – Publish/Subscribe with Provable Privacy
          Sarah Abdelwahab Gaballah, Christoph Coijanovic, Thorsten Strufe, Max Mühlhäuser
          [VIDEO]

  12:40   A Comprehensive Measurement-based Investigation of DNS Hijacking
          Rebekah Houser, Shuai Hao, Zhou Li, Daiping Liu, Chase Cotton, Haining Wang
          [VIDEO]

12:50 - 13:35  Business Meeting (Chair: Borzoo Bonakdarpour)

DAY 3

September 23^rd, 2021

08:50 - 09:00  Opening

09:00 - 10:00  Keynote: Nitin Vaidya (Chair: Roberto Palmieri)  [LIVE STREAM]

10:15 - 10:55  Session 8: Distributed Systems, Services, and Storage (Chair: Jeremie Decouchant)

  10:15   What Distributed Systems Say: A Study of Seven Spark Application Logs
          Sina Gholamian, Paul A. S. Ward
          [VIDEO]

  10:25   GeoPaxos+: Practical Geographical State Machine Replication
          Paulo Coelho and Fernando Pedone
          [VIDEO]

  10:35   Automated Intelligent Healing in Cloud-Scale Data Centers
          Rui Li, Zhinan Cheng, Patrick P. C. Lee, Pinghui Wang, Yi Qiang, Lin Lan, Cheng He, Jinlong Lu, Mian Wang, Xinquan Ding
          [VIDEO]

  10:45   MinervaFS: A User-Space File System for Generalised Deduplication
          Lars Nielsen, Dorian Burihabwa, Valerio Schiavoni, Pascal Felber, Daniel Lucani
          [VIDEO]

11:05 - 11:35  Session 9: Distributed Algorithms (Chair: Youla Fatourou)

  11:05   Low-Rate Overuse Flow Tracer (LOFT): An Efficient and Scalable Algorithm for Detecting Overuse Flows
          Simon Scherrer, Che-Yu Wu, Yu-Hsi Chiang, Benjamin Rothenberger, Daniele Enrico Asoni, Arish Sateesan, Jo Vliegen, Nele Mentens, Hsu-Chun Hsiao, Adrian Perrig
          [VIDEO]

  11:15   FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems
          Colette Johnen, Luciana Arantes, Pierre Sens
          [VIDEO]

  11:25   Sliding Window CRDT Sketches
          Dolev Adas, Roy Friedman
          [VIDEO]

11:45 - 12:25  Session 10: Machine Learning and Beyond (Chair: Pelin Angin)

  11:45   Protecting Reward Function of Reinforcement Learning via Minimal and Non-catastrophic Adversarial Trajectory
          Tong Chen, Yingxiao Xiang, Yike Li, Yunzhe Tian, Endong Tong, Wenjia Niu, Jiqiang Liu, Gang Li, Qi Alfred Chen
          [VIDEO]

  11:55   WAFFLE: Watermarking in Federated Learning
          Buse G. A. Tekgul, Yuxi Xia, Samuel Marchal, N. Asokan
          [VIDEO]

  12:05   Detecting Malicious Gradients from Asynchronous SGD on Variational Autoencoder
          Zhipin Gu, Yuexiang Yang, Heyuan Shi
          [VIDEO]

  12:15   DragonFly: Drone-Assisted High-Rise Monitoring for Fire Safety
          Fangqi Liu, Tzu-Yi Fan, Casey Grant, Cheng-Hsin Hsu, Nalini Venkatasubramanian
          [VIDEO]

12:25 - 12:30  Closing