researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1981
1982
1983
1984
1986
1987
1988
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
C++
Meta-Environment
analysis
architecture
data-flow
database
design
e-science
meta-model
meta-objects
mobile
open-source
peer-to-peer
protocol
reliability
rule-based
security
source-to-source
synchronization
systematic-approach
Filter by Author
[+]
OR
AND
NOT
1
Andrea Bondavalli
André Schiper
Anne-Marie Kermarrec
Bharat K. Bhargava
Christof Fetzer
Fernando Pedone
K. H. Kim
Kishor S. Trivedi
Luís Rodrigues
Michel Raynal
Neeraj Suri
Pascal Felber
Paulo Veríssimo
Rachid Guerraoui
Roy Friedman
Sandeep S. Kulkarni
Saurabh Bagchi
Valerio Schiavoni
William H. Sanders
Xavier Défago
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
approach
cloud
data
distributed
efficient
fault
networks
performance
reliable
replication
service
srds
storage
symposium
system
systems
time
tolerant
using
SRDS (srds)
Editions
Publications
Viewing Publication 1 - 100 from 1425
2023
42nd International Symposium on Reliable Distributed Systems, SRDS 2023, Marrakesh, Morocco, September 25-29, 2023
IEEE,
2023.
[doi]
GradedDAG: An Asynchronous DAG-based BFT Consensus with Lower Latency
Xiaohai Dai
,
Zhaonan Zhang
,
Jiang Xiao
,
Jingtao Yue
,
Xia Xie
,
Hai Jin 0001
.
srds 2023
:
107-117
[doi]
CRIBA: A Tool for Comprehensive Analysis of Cryptographic Ransomware's I/O Behavior
Tânia Esteves
,
Bruno Pereira
,
Rui Pedro Oliveira
,
João Marco
,
João Paulo 0001
.
srds 2023
:
46-58
[doi]
FreSh: A Lock-Free Data Series Index
Panagiota Fatourou
,
Eleftherios Kosmas
,
Themis Palpanas
,
George Paterakis
.
srds 2023
:
209-220
[doi]
Defending against Poisoning Attacks in Federated Learning from a Spatial-temporal Perspective
Zhipin Gu
,
Jiangyong Shi
,
Yuexiang Yang
,
Liangzhong He
.
srds 2023
:
25-34
[doi]
Inducing Lattices in Non-Lattice-Linear Problems
Arya Tanmay Gupta
,
Sandeep S. Kulkarni
.
srds 2023
:
232-242
[doi]
Extending The Boundaries and Exploring The Limits Of Blockchain Compression
Anurag Jain
,
Emmanuelle Anceaume
,
Sujit Gujar
.
srds 2023
:
187-197
[doi]
Making Intrusion Tolerance Accessible: A Cloud-Based Hybrid Management Approach to Deploying Resilient Systems
Maher Khan
,
Amy Babay
.
srds 2023
:
254-267
[doi]
BlindFilter: Privacy-Preserving Spam Email Detection Using Homomorphic Encryption
Dongwon Lee
,
Myeonghwan Ahn
,
Hyesun Kwak
,
Jin B. Hong
,
Hyoungshick Kim
.
srds 2023
:
35-45
[doi]
PRISPARK: Differential Privacy Enforcement for Big Data Computing in Apache Spark
Shuailou Li
,
Yu Wen
,
Tao Xue
,
Zhaoyang Wang
,
Yanna Wu
,
Dan Meng
.
srds 2023
:
93-106
[doi]
TransCAB: Transferable Clean-Annotation Backdoor to Object Detection with Natural Trigger in Real-World
Hua Ma
,
Yinshan Li
,
Yansong Gao
,
Zhi Zhang
,
Alsharif Abuadbba
,
Anmin Fu
,
Said F. Al-Sarawi
,
Surya Nepal
,
Derek Abbott
.
srds 2023
:
82-92
[doi]
Detective-Dee: A Non-Intrusive In Situ Anomaly Detection and Fault Localization Framework
Yang Man
,
Shiyi Li
,
Wen Xia
,
Yikai Li
,
Bochun Yu
,
Yingchi Long
,
Yanqi Pan
.
srds 2023
:
243-253
[doi]
Range-Based Set Reconciliation
Aljoscha Meyer
.
srds 2023
:
59-69
[doi]
Resource Optimization of Stream Processing in Layered Internet of Things
Anik Momtaz
,
Ramy Medhat
,
Borzoo Bonakdarpour
.
srds 2023
:
221-231
[doi]
CASPR: Connectivity-Aware Scheduling for Partition Resilience
Sara Qunaibi
,
Sreeharsha Udayashankar
,
Samer Al-Kiswany
.
srds 2023
:
70-81
[doi]
ALBUS: a Probabilistic Monitoring Algorithm to Counter Burst-Flood Attacks
Simon Scherrer
,
Jo Vliegen
,
Arish Sateesan
,
Hsu-Chun Hsiao
,
Nele Mentens
,
Adrian Perrig
.
srds 2023
:
162-172
[doi]
Transparent Fault Tolerance for Stateful Applications in Kubernetes with Checkpoint/Restore
Henri Schmidt
,
Zeineb Rejiba
,
Raphael Eidenbenz
,
Klaus-Tycho Förster
.
srds 2023
:
129-139
[doi]
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles
Ali Shoker
,
Fernando Alves
,
Paulo Esteves Veríssimo
.
srds 2023
:
151-161
[doi]
Stretch-BFT: Workload-Adaptive and Stretchable Consensus Protocol for Permissioned Blockchain
Xing Tong
,
Zhao Zhang
,
Cheqing Jin
,
Wei Fan
,
Yanqin Yang
,
Aoying Zhou
.
srds 2023
:
1-13
[doi]
An Effective and Robust Transaction Packaging Approach for Multi-leader BFT Blockchain Systems
Wenbin Wang
,
Xiulong Liu
,
Hao Xu
,
Wenyu Qu
.
srds 2023
:
14-24
[doi]
Sensor Node Fault Detection in Wireless Sensor Networks Utilizing Node-Level Diagnostics
Dominik Widhalm
,
Karl Michael Göschka
,
Wolfgang Kastner
.
srds 2023
:
118-128
[doi]
SilenTower: A Robust, Scalable and Secure Watchtower with Silent Executors
Minze Xu
,
Yuan Zhang
,
Sheng Zhong
.
srds 2023
:
173-186
[doi]
Low-Overhead Routing for Offchain Networks with High Resource Utilization
Xiaoxue Zhang
,
Shouqian Shi
,
Chen Qian 0001
.
srds 2023
:
198-208
[doi]
Subdomain Protection is Needed: An SPF and DMARC-Based Empirical Measurement Study and Proactive Solution of Email Security
Han Zhang
,
Dengke Mi
,
Libo Chen
,
Ming Liu
,
Yong Shi
,
Zhi Xue
.
srds 2023
:
140-150
[doi]
2022
Dynamic Fault Trees with Correlated Failure Times - Modeling and Efficient Analysis -
Peter Buchholz 0001
,
Andreas Blume
.
srds 2022
:
201-212
[doi]
41st International Symposium on Reliable Distributed Systems, SRDS 2022, Vienna, Austria, September 19-22, 2022
IEEE,
2022.
[doi]
D-Cliques: Compensating for Data Heterogeneity with Topology in Decentralized Federated Learning
Aurélien Bellet
,
Anne-Marie Kermarrec
,
Erick Lavoie
.
srds 2022
:
1-11
[doi]
Silent Anonymous Snap-Stabilizing Termination Detection
Lélia Blin
,
Colette Johnen
,
Gabriel Le Bouder
,
Franck Petit
.
srds 2022
:
156-165
[doi]
Real-Time Byzantine Resilience for Power Grid Substations
Sahiti Bommareddy
,
Daniel Qian
,
Christopher A. Bonebrake
,
Paul M. Skare
,
Yair Amir
.
srds 2022
:
213-224
[doi]
Democratizing Machine Learning: Resilient Distributed Learning with Heterogeneous Participants
Karim Boubouh
,
Amine Boussetta
,
Nirupam Gupta
,
Alexandre Maurer
,
Rafaël Pinot
.
srds 2022
:
94-120
[doi]
SigGuard: Hardening Vulnerable Signal Handling in Commodity Operating Systems
Miao Cai
,
Junru Shen
,
Tianning Zhang
,
Hao Huang
,
Baoliu Ye
.
srds 2022
:
237-249
[doi]
An In-Depth Correlative Study Between DRAM Errors and Server Failures in Production Data Centers
Zhinan Cheng
,
Shujie Han 0001
,
Patrick P. C. Lee
,
Xin Li
,
Jiongzhou Liu
,
Zhan Li
.
srds 2022
:
262-272
[doi]
Babel: A Framework for Developing Performant and Dependable Distributed Protocols
Pedro Fouto
,
Pedro Ákos Costa
,
Nuno M. Preguiça
,
João Leitão 0001
.
srds 2022
:
146-155
[doi]
G-SINC: Global Synchronization Infrastructure for Network Clocks
Marc Frei
,
Jonghoon Kwon
,
Seyedali Tabaeiaghdaei
,
Marc Wyss
,
Christoph Lenzen 0001
,
Adrian Perrig
.
srds 2022
:
133-145
[doi]
Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction
Xiaosong Gu
,
Wei Cao
,
Yicong Zhu
,
Xuan Song
,
Yu Huang 0002
,
Xiaoxing Ma
.
srds 2022
:
82-93
[doi]
Reliable Password Hardening Service with Opt-Out
Chunfu Jia
,
Shaoqiang Wu
,
Ding Wang 0002
.
srds 2022
:
250-261
[doi]
FWC: Fitting Weight Compression Method for Reducing Communication Traffic for Federated Learning
Hao Jiang
,
Kedong Yan
,
Chanying Huang
,
Qianmu Li
,
Shan Xiao
.
srds 2022
:
178-188
[doi]
Secure Publish-Process-Subscribe System for Dispersed Computing
Weizhao Jin
,
Bhaskar Krishnamachari
,
Muhammad Naveed
,
Srivatsan Ravi
,
Eduard Sanou
,
Kwame-Lante Wright
.
srds 2022
:
58-68
[doi]
In-Vivo Fuzz Testing for Network Services
Wen-Yang Lai
,
Kun-Che Tsai
,
Che Chen
,
Yu-Sung Wu
.
srds 2022
:
35-45
[doi]
DAG-based Task Orchestration for Edge Computing
Xiang Li
,
Mustafa Abdallah
,
Shikhar Suryavansh
,
Mung Chiang
,
Kwang Taik Kim
,
Saurabh Bagchi
.
srds 2022
:
23-34
[doi]
Achieving Scalability and Load Balance across Blockchain Shards for State Sharding
Canlin Li
,
Huawei Huang
,
Yetong Zhao
,
Xiaowen Peng
,
Ruijie Yang
,
Zibin Zheng
,
Song Guo 0001
.
srds 2022
:
284-294
[doi]
An Investigation on Data Center Cooling Systems Using FPGA-based Temperature Side Channels
Yuan Liang
,
Xing Gao 0001
,
Kun Sun 0001
,
Wenjie Xiong 0001
,
Haining Wang
.
srds 2022
:
46-57
[doi]
Byzantine Auditable Atomic Register with Optimal Resilience
Antonella Del Pozzo
,
Alessia Milani
,
Alexandre Rapetti
.
srds 2022
:
121-132
[doi]
A Performance Study of Epoch-based Commit Protocols in Distributed OLTP Databases
Jack Waudby
,
Paul D. Ezhilchelvan
,
Isi Mitrani
,
Jim Webber
.
srds 2022
:
189-200
[doi]
Soter: Deep Learning Enhanced In-Network Attack Detection Based on Programmable Switches
Guorui Xie
,
Qing Li 0006
,
Chupeng Cui
,
Peican Zhu
,
Dan Zhao
,
Wanxin Shi
,
Zhuyun Qi
,
Yong Jiang 0001
,
Xi Xiao
.
srds 2022
:
225-236
[doi]
AGIC: Approximate Gradient Inversion Attack on Federated Learning
Jin Xu
,
Chi Hong
,
Jiyue Huang
,
Lydia Y. Chen
,
Jérémie Decouchant
.
srds 2022
:
12-22
[doi]
XHR-Code: An Efficient Wide Stripe Erasure Code to Reduce Cross-Rack Overhead in Cloud Storage Systems
Guofeng Yang
,
Huangzhen Xue
,
Yunfei Gu
,
Chentao Wu
,
Jie Li 0002
,
Minyi Guo
,
Shiyi Li
,
Xin Xie
,
Yuanyuan Dong
,
Yafei Zhao
.
srds 2022
:
273-283
[doi]
Never Too Late: Tracing and Mitigating Backdoor Attacks in Federated Learning
Hui Zeng
,
Tongqing Zhou
,
Xinyi Wu
,
Zhiping Cai
.
srds 2022
:
69-81
[doi]
Detection and Incentive: A Tampering Detection Mechanism for Object Detection in Edge Computing
Zhihui Zhao
,
Yicheng Zeng
,
Jinfa Wang
,
Hong Li 0004
,
Hongsong Zhu
,
Limin Sun
.
srds 2022
:
166-177
[doi]
2021
Making Reads in BFT State Machine Replication Fast, Linearizable, and Live
Christian Berger 0006
,
Hans P. Reiser
,
Alysson Bessani
.
srds 2021
:
1-12
[doi]
Protecting Reward Function of Reinforcement Learning via Minimal and Non-catastrophic Adversarial Trajectory
Tong Chen 0007
,
Yingxiao Xiang
,
Yike Li
,
Yunzhe Tian
,
Endong Tong
,
Wenjia Niu
,
Jiqiang Liu
,
Gang Li 0009
,
Qi Alfred Chen
.
srds 2021
:
299-309
[doi]
40th International Symposium on Reliable Distributed Systems, SRDS 2021, Chicago, IL, USA, September 20-23, 2021
IEEE,
2021.
[doi]
Sliding Window CRDT Sketches
Dolev Adas
,
Roy Friedman
.
srds 2021
:
288-298
[doi]
How to Trust Strangers: Composition of Byzantine Quorum Systems
Orestis Alpos
,
Christian Cachin
,
Luca Zanolini
.
srds 2021
:
120-131
[doi]
Characterizing the Impact of Network Delay on Bitcoin Mining
Tong Cao
,
Jérémie Decouchant
,
Jiangshan Yu
,
Paulo Esteves Veríssimo
.
srds 2021
:
109-119
[doi]
The design, architecture and performance of the Tendermint Blockchain Network
Daniel Cason
,
Enrique Fynn
,
Nenad Milosevic
,
Zarko Milosevic 0001
,
Ethan Buchman
,
Fernando Pedone
.
srds 2021
:
23-33
[doi]
Enabling Low-Redundancy Proactive Fault Tolerance for Stream Machine Learning via Erasure Coding
Zhinan Cheng
,
Lu Tang 0004
,
Qun Huang 0001
,
Patrick P. C. Lee
.
srds 2021
:
99-108
[doi]
GeoPaxos+: Practical Geographical State Machine Replication
Paulo R. Coelho
,
Fernando Pedone
.
srds 2021
:
233-243
[doi]
2PPS - Publish/Subscribe with Provable Privacy
Sarah Abdelwahab Gaballah
,
Christoph Coijanovic
,
Thorsten Strufe
,
Max Mühlhäuser
.
srds 2021
:
198-209
[doi]
Runtime Verification for Blockchains
Ritam Ganguly
.
srds 2021
:
347-348
[doi]
What Distributed Systems Say: A Study of Seven Spark Application Logs
Sina Gholamian
,
Paul A. S. Ward
.
srds 2021
:
222-232
[doi]
Detecting Malicious Gradients from Asynchronous SGD on Variational Autoencoder
Zhipin Gu
,
Yuexiang Yang
,
Heyuan Shi
.
srds 2021
:
321-330
[doi]
Scrooge Attack: Undervolting ARM Processors for Profit: Practical experience report
Christian Göttel
,
Konstantinos Parasyris
,
Osman S. Unsal
,
Pascal Felber
,
Marcelo Pasin
,
Valerio Schiavoni
.
srds 2021
:
187-197
[doi]
Vassago: Efficient and Authenticated Provenance Query on Multiple Blockchains
Rui Han
,
Jiang Xiao
,
Xiaohai Dai
,
Shijie Zhang
,
Yi Sun
,
Baochun Li
,
Hai Jin 0001
.
srds 2021
:
132-142
[doi]
BROFY: Towards Essential Integrity Protection for Microservices
Ardhi Putra Pratama Hartono
,
Christof Fetzer
.
srds 2021
:
154-163
[doi]
A Comprehensive Measurement-based Investigation of DNS Hijacking
Rebekah Houser
,
Shuai Hao
,
Zhou Li 0001
,
Daiping Liu
,
Chase Cotton
,
Haining Wang
.
srds 2021
:
210-221
[doi]
Adaptive Erasure Coded Data Maintenance for Consensus in Distributed Networks
Yulei Jia
,
Guangping Xu
,
Chi Wan Sung
,
Salwa Mostafa
.
srds 2021
:
345-346
[doi]
FIFO and Atomic broadcast algorithms with bounded message size for dynamic systems
Colette Johnen
,
Luciana Arantes
,
Pierre Sens 0001
.
srds 2021
:
277-287
[doi]
Failure Recovery from Persistent Memory in Paxos-Based State Machine Replication
Jan Z. Konczak
,
Pawel T. Wojciechowski
.
srds 2021
:
88-98
[doi]
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
.
srds 2021
:
244-253
[doi]
DragonFly: Drone-Assisted High-Rise Monitoring for Fire Safety
Fangqi Liu
,
Tzu-Yi Fan
,
Casey Grant
,
Cheng-Hsin Hsu
,
Nalini Venkatasubramanian
.
srds 2021
:
331-342
[doi]
Sharding Techniques in the Era of Blockchain
Chunyu Mao
,
Wojciech M. Golab
.
srds 2021
:
343-344
[doi]
Parameterized Distributed Synthesis of Fault-Tolerance Using Counter Abstraction
Hadi Moloodi
,
Fathiyeh Faghih
,
Borzoo Bonakdarpour
.
srds 2021
:
67-77
[doi]
Runtime Verification for Distributed Cyber-Physical Systems
Anik Momtaz
.
srds 2021
:
349-350
[doi]
MinervaFS: A User-Space File System for Generalised Deduplication: (Practical experience report)
Lars Nielsen
,
Dorian Burihabwa
,
Valerio Schiavoni
,
Pascal Felber
,
Daniel E. Lucani
.
srds 2021
:
254-264
[doi]
CODBS: A cascading oblivious search protocol optimized for real-world relational database indexes
Rogério Pontes
,
Bernardo Portela
,
Manuel Barbosa
,
Ricardo Vilaça
.
srds 2021
:
176-186
[doi]
Active replication for latency-sensitive stream processing in Apache Flink
Guillaume Rosinosky
,
Florian Schmidt 0009
,
Oleh Bodunov
,
Christof Fetzer
,
André Martin
,
Etienne Rivière
.
srds 2021
:
56-66
[doi]
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
.
srds 2021
:
265-276
[doi]
Threat Adaptive Byzantine Fault Tolerant State-Machine Replication
Douglas Simões Silva
,
Rafal Graczyk
,
Jérémie Decouchant
,
Marcus Völp
,
Paulo Esteves Veríssimo
.
srds 2021
:
78-87
[doi]
Adding Fairness to Order: Preventing Front-Running Attacks in BFT Protocols using TEEs
Chrysoula Stathakopoulou
,
Signe Rüsch
,
Marcus Brandenburger
,
Marko Vukolic
.
srds 2021
:
34-45
[doi]
A Secure Access and Accountability Framework for Provisioning Services in Named Data Networks
Nazatul Haque Sultan
,
Vijay Varadharajan
,
Chandan Kumar
,
Seyit Camtepe
,
Surya Nepal
.
srds 2021
:
164-175
[doi]
WAFFLE: Watermarking in Federated Learning
Buse G. A. Tekgul
,
Yuxi Xia
,
Samuel Marchal
,
N. Asokan
.
srds 2021
:
310-320
[doi]
Node-level indicators of soft faults in wireless sensor networks
Dominik Widhalm
,
Karl M. Göschka
,
Wolfgang Kastner
.
srds 2021
:
13-22
[doi]
Chaos Duck: A Tool for Automatic IoT Software Fault-Tolerance Analysis
Igor Zavalyshyn
,
Thomas Given-Wilson
,
Axel Legay
,
Ramin Sadre
,
Etienne Rivière
.
srds 2021
:
46-55
[doi]
Argus: A Fully Transparent Incentive System for Anti-Piracy Campaigns
Xian Zhang
,
Xiaobing Guo
,
Zixuan Zeng
,
Wenyan Liu
,
Zhongxin Guo
,
Yang Chen
,
Shuo Chen 0001
,
Qiufeng Yin
,
Mao Yang
.
srds 2021
:
143-153
[doi]
2020
International Symposium on Reliable Distributed Systems, SRDS 2020, Shanghai, China, September 21-24, 2020
IEEE,
2020.
[doi]
Consensus Beyond Thresholds: Generalized Byzantine Quorums Made Live
Orestis Alpos
,
Christian Cachin
.
srds 2020
:
21-30
[doi]
PnyxDB: a Lightweight Leaderless Democratic Byzantine Fault Tolerant Replicated Datastore
Loïck Bonniot
,
Christoph Neumann
,
François Taïani
.
srds 2020
:
155-164
[doi]
Self-optimising Application-agnostic Multithreading for Replicated State Machines
Gerhard Habiger
,
Franz J. Hauck
,
Hans P. Reiser
,
Johannes Köstler
.
srds 2020
:
165-174
[doi]
Demo: Skip Graph Middleware Implementation
Yahya Hassanzadeh-Nazarabadi
,
Nazir Nayal
,
Shadi Sameh Hamdan
,
Ali Utkan Sahin
,
Öznur Özkasap
,
Alptekin Küpçü
.
srds 2020
:
335-337
[doi]
Robust Cache-Aware Quantum Processor Layout
Travis LeCompte
,
Fang Qi
,
Lu Peng
.
srds 2020
:
276-287
[doi]
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults
Daniela Loreti
,
Marcello Artioli
,
Anna Ciampolini
.
srds 2020
:
266-275
[doi]
TZ4Fabric: Executing Smart Contracts with ARM TrustZone : (Practical Experience Report)
Christina Müller
,
Marcus Brandenburger
,
Christian Cachin
,
Pascal Felber
,
Christian Göttel
,
Valerio Schiavoni
.
srds 2020
:
31-40
[doi]
Poster: No More Slow Messages: Programmable Packet Handling in Hard IRQ
Ko Natori
,
Takafumi Kikuchi
,
Kenji Kono
.
srds 2020
:
329-331
[doi]
Performance Evaluation of the Impact of NUMA on One-sided RDMA Interactions
Jacob Nelson
,
Roberto Palmieri
.
srds 2020
:
288-298
[doi]
Benefits of Stabilization versus Rollback in Self-Stabilizing Graph-Based Applications on Eventually Consistent Key-Value Stores
Duong N. Nguyen
,
Sandeep S. Kulkarni
.
srds 2020
:
11-20
[doi]
MQT-TZ: Hardening IoT Brokers Using ARM TrustZone : (Practical Experience Report)
Carlos Segarra
,
Ricard Delgado-Gonzalo
,
Valerio Schiavoni
.
srds 2020
:
256-265
[doi]
Demo: A Proof-of-Concept Implementation of Guard Secure Routing Protocol
Sanaz Taheri-Boshrooyeh
,
Ali Utkan Sahin
,
Yahya Hassanzadeh-Nazarabadi
,
Öznur Özkasap
.
srds 2020
:
332-334
[doi]
Efficient Two-Layered Monitor for Partially Synchronous Distributed Systems
Vidhya Tekken Valapil
,
Sandeep S. Kulkarni
,
Eric Torng
,
Gabe Appleton
.
srds 2020
:
123-132
[doi]
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Joel Wanner
,
Laurent Chuat
,
Adrian Perrig
.
srds 2020
:
101-112
[doi]
Sign in
or
sign up
to see more results.