![](https://dblp1.uni-trier.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
38th SRDS 2019: Lyon, France
- 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019. IEEE 2019, ISBN 978-1-7281-4222-7
- Jérémie Decouchant
, Antoine Boutet, Jiangshan Yu
, Paulo Jorge Esteves Veríssimo:
P3LS: Plausible Deniability for Practical Privacy-Preserving Live Streaming. 1-10 - Kun Yang, Hanqing Zhao, Chao Zhang, Jianwei Zhuge, Haixin Duan:
Fuzzing IPC with Knowledge Inference. 11-20 - Stefan Contiu, Sébastien Vaucher
, Rafael Pires
, Marcelo Pasin
, Pascal Felber
, Laurent Réveillère:
Anonymous and Confidential File Sharing over Untrusted Clouds. 21-31 - Kashyap Thimmaraju, Liron Schiff, Stefan Schmid
:
Preacher: Network Policy Checker for Adversarial Environments. 32-41 - Robert Flosbach, Justyna Joanna Chromik, Anne Remke:
Architecture and Prototype Implementation for Process-Aware Intrusion Detection in Electrical Grids. 42-51 - Andrei Mogage
, Rafael Pires
, Vlad Craciun
, Emanuel Onica
, Pascal Felber
:
Supply Chain Malware Targets SGX: Take Care of what you Sign. 52-60 - Rogério Pontes
, Francisco Maia
, Ricardo Vilaça
, Nuno Machado:
d'Artagnan: A Trusted NoSQL Database on Untrusted Clouds. 61-70 - Habib Saissi, Marco Serafini, Neeraj Suri
:
Gyro: A Modular Scale-Out Layer for Single-Server DBMSs. 71-82 - Jiewen Hai, Cheng Wang, Xusheng Chen, Tsz On Li, Heming Cui, Sen Wang:
Fulva: Efficient Live Migration for In-Memory Key-Value Stores with Zero Downtime. 83-92 - Thanasis Priovolos, Stathis Maroulis, Vana Kalogeraki
:
ESCAPe: Elastic Caching For Big Data Systems. 93-102 - Bernardo Ferreira
, Bernardo Portela
, Tiago Oliveira
, Guilherme Borges
, Henrique João L. Domingos
, João Leitão
:
BISEN: Efficient Boolean Searchable Symmetric Encryption with Verifiability and Minimal Leakage. 103-112 - Marcello Artioli, Daniela Loreti
, Anna Ciampolini:
Fault Tolerant High Performance Solver for Linear Equation Systems. 113-122 - Jingjing Zhang, Yingyao Rong, Jiannong Cao, Chunming Rong
, Jing Bian, Weigang Wu:
DBFT: A Byzantine Fault Tolerant Protocol with Graceful Performance Degradation. 123-132 - Lachlan J. Gunn, Jian Liu, Bruno Vavala, N. Asokan
:
Making Speculative BFT Resilient with Trusted Monotonic Counters. 133-142 - Masoud Gholami Estahbanati, Florian Schintke:
Multilevel Checkpoint/Restart for Large Computational Jobs on Distributed Computing Resources. 143-152 - Michael Eischer, Markus Büttner, Tobias Distler:
Deterministic Fuzzy Checkpoints. 153-162 - Subhajit Sidhanta, Ricardo J. Dias, Rodrigo Rodrigues
:
A More Consistent Understanding of Consistency. 163-172 - Klaus-Tycho Foerster
, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid
, Gilles Trédan:
Improved Fast Rerouting Using Postprocessing. 173-182 - Christian Berger, Hans P. Reiser
, João Sousa, Alysson Bessani:
Resilient Wide-Area Byzantine Consensus Using Adaptive Weighted Replication. 183-192 - Raziel Carvajal-Gomez, Yehia Elkhatib
, Laurent Réveillère, Etienne Rivière, Yérom-David Bromberg:
Emergent Overlays for Adaptive MANET Broadcast. 193-202 - Marius Poke, Colin W. Glass:
A Dual Digraph Approach for Leaderless Atomic Broadcast. 203-220 - Alex Auvolat, François Taïani
:
Merkle Search Trees: Efficient State-Based CRDTs in Open Networks. 221-230 - André Rosa, Pedro Ákos Costa, João Leitão
:
Revisiting Broadcast Algorithms for Wireless Edge Networks. 231-240 - Luca Liechti, Paulo Gouveia, João Neves, Peter G. Kropf
, Miguel Matos, Valerio Schiavoni
:
THUNDERSTORM: A Tool to Evaluate Dynamic Network Topologies on Distributed Systems. 241-250 - Martin Byrenheid, Stefanie Roos, Thorsten Strufe:
Attack-Resistant Spanning Tree Construction in Route-Restricted Overlay Networks. 251-260 - Phani Kishore Gadepalli, Gregor Peach, Ludmila Cherkasova, Rob Aitken, Gabriel Parmer:
Challenges and Opportunities for Efficient Serverless Computing at the Edge. 261-266 - Julien Ponge, Mark C. Little:
Scalability and Resilience in Practice: Current Trends and Opportunities. 267 - Kahina Lazri, Antoine Blin, Julien Sopena, Gilles Muller:
Toward an in-Kernel High Performance Key-Value Store Implementation. 268 - Uttam Thakore, Rohit Ranchal, Yi-Hsiu Wei, HariGovind V. Ramasamy:
Combining Learning and Model-Based Reasoning to Reduce Uncertainties in Cloud Security and Compliance Auditing. 269-274 - Liuqing Ye, Dan Feng, Yuchong Hu, Xueliang Wei:
A Generic Construction for All Parameters in Minimum Storage Regenerating Codes. 275-284 - Zhi Qiao
, Shuwen Liang, Hsing-Bung Chen, Song Fu, Bradley W. Settlemyer:
Exploring Declustered Software RAID for Enhanced Reliability and Recovery Performance in HPC Storage Systems. 285-294 - Takayuki Fukatani, Hieu Hanh Le
, Haruo Yokota
:
Lightweight Dynamic Redundancy Control for Server-Based Storage. 295-304 - Signe Rüsch, Kai Bleeke, Rüdiger Kapitza:
Bloxy: Providing Transparent and Generic BFT-Based Ordering Services for Blockchains. 305-314 - Arnaud L'Hutereau, Dorian Burihabwa, Pascal Felber
, Hugues Mercier, Valerio Schiavoni
:
Blockchain-Based Metadata Protection for Archival Systems. 315-323 - Marcus Brandenburger, Christian Cachin, Rüdiger Kapitza, Alessandro Sorniotti:
Trusted Computing Meets Blockchain: Rollback Attacks and a Solution for Hyperledger Fabric. 324-333 - Michel Raynal:
The Notion of Universality in Crash-Prone Asynchronous Message-Passing Systems: A Tutorial. 334-350 - Anshul Ahuja, Geetesh Gupta, Subhajit Sidhanta:
Edge Applications: Just Right Consistency. 351-353 - António Casimiro
, Emelie Ekenstedt
, Elad Michael Schiller:
Self-Stabilizing Manoeuvre Negotiation: The Case of Virtual Traffic Lights. 354-356 - Umit Demirbaga
, Ayman Noor, Zhenyu Wen, Philip James, Karan Mitra, Rajiv Ranjan:
SmartMonit: Real-Time Big Data Monitoring System. 357-359 - Tasos Bakogiannis, Ioannis Mytilinis, Katerina Doka, Georgios I. Goumas:
Building Ad-Hoc Clouds with CloudAgora. 360-362 - Thanasis Priovolos, Stathis Maroulis, Vana Kalogeraki
:
A Framework for Managing an Elastic Redis Cache. 363-365 - Gewu Bu, Thanh Son Lam Nguyen, Maria Potop-Butucaru, Kim Loan Thai:
HyperPubSub: Blockchain Based Publish/Subscribe. 366-368 - Ege Ciklabakkal, Ataberk Donmez
, Mert Erdemir, Emre Süren
, Mert Kaan Yilmaz, Pelin Angin:
ARTEMIS: An Intrusion Detection System for MQTT Attacks in Internet of Things. 369-371 - Léonard Lys
, Arthur Micoulet, Maria Potop-Butucaru:
Atomic Swapping Bitcoins and Ethers. 372-374 - Xiaofei Cao, Sanjay Madria:
A Testbed for Data Routing in Low-Power WSNs using DV-Hop Based Trajectory Encoding Algorithm. 375-377 - Isabelly Rocha, Gabriel Vinha, Andrey Brito, Pascal Felber
, Marcelo Pasin
, Valerio Schiavoni
:
ABEONA: An Architecture for Energy-Aware Task Migrations from the Edge to the Cloud. 378-380 - Adriano Serckumecka
, Ibéria Medeiros, Alysson Bessani:
Low-Cost Serverless SIEM in the Cloud. 381-382 - Alex Auvolat:
Making Federated Networks More Distributed. 383-384
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.