1. Home
  2. Proceedings
  3. SRDS
  4. SRDS 2018
Default Cover Image

2018 IEEE 37th Symposium on Reliable Distributed Systems (SRDS)

Oct. 2 2018 to Oct. 5 2018

Salvador, Brazil

Table of Contents

[Title page i]Freely available from IEEE.pp. 1-1
[Title page iii]Freely available from IEEE.pp. 3-3
[Copyright notice]Freely available from IEEE.pp. 4-4
Table of contentsFreely available from IEEE.pp. 5-9
Message from the General ChairFreely available from IEEE.pp. 10-10
Message from the Technical Program Co-ChairsFreely available from IEEE.pp. 11-11
Symposium OrganizationFreely available from IEEE.pp. 12-13
Technical Program CommitteeFreely available from IEEE.pp. 14-14
ReviewersFreely available from IEEE.pp. 15-15
AcknowledgementsFreely available from IEEE.pp. 16-16
Abusing CDNs for Fun and Profit: Security Issues in CDNs' Origin ValidationFull-text access may be available. Sign in or learn about subscription options.pp. 1-10
by Run Guo, Jianjun Chen, Baojun Liu, Jia Zhang, Chao Zhang, Haixin Duan, Tao Wan, Jian Jiang, Shuang Hao, Yaoqi Jia
Impact of Man-In-The-Middle Attacks on EthereumFull-text access may be available. Sign in or learn about subscription options.pp. 11-20
by Parinya Ekparinya, Vincent Gramoli, Guillaume Jourjon
US-AID: Unattended Scalable Attestation of IoT DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 21-30
by Ahmad Ibrahim, Ahmad-Reza Sadeghi, Gene Tsudik
A Scalable and Efficient Correlation Engine to Detect Multi-Step Attacks in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 31-40
by David Lanoe, Michel Hurfin, Eric Totel
Practical Continuous Aggregation in Wireless Edge EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 41-50
by Pedro Ákos Costa, João Leitão
Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 51-60
by Brice Nédelec, Pascal Molli, Achour Mostéfaoui
Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph DatabaseFull-text access may be available. Sign in or learn about subscription options.pp. 61-71
by Manuel Bravo, Luís Rodrigues, Ray Neiheiser, Luciana Rech
Mobile Cloud-of-Clouds Storage Made Efficient: A Network Coding Based ApproachFull-text access may be available. Sign in or learn about subscription options.pp. 72-82
by Jiajie Shen, Yi Li, Yangfan Zhou, Xin Wang
Adversarially-Resistant On-Demand Topic Channels for Wireless Sensor NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 83-92
by Hans Walter Behrens, K. Selçuk Candan
Secure Information Forwarding through Fragmentation in Delay-Tolerant NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 93-102
by Shudip Datta, Sanjay Madria, James Milligan, Mark Linderman
RATCHETA: Memory-Bounded Hybrid Byzantine Consensus for Cooperative Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 103-112
by Wenbo Xu, Rüdiger Kapitza
MaskAl: Privacy Preserving Masked Reads Alignment using Intel SGXFull-text access may be available. Sign in or learn about subscription options.pp. 113-122
by Christoph Lambert, Maria Fernandes, Jérémie Decouchant, Paulo Esteves-Verissimo
PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 123-132
by Sergei Arnautov, Andrey Brito, Pascal Felber, Christof Fetzer, Franz Gregor, Robert Krahn, Wojciech Ozga, André Martin, Valerio Schiavoni, Fábio Silva, Marcus Tenorio, Nikolaus Thümmel
Security, Performance and Energy Trade-Offs of Hardware-Assisted Memory Protection MechanismsFull-text access may be available. Sign in or learn about subscription options.pp. 133-142
by Christian Göttel, Rafael Pires, Isabelly Rocha, Sébastien Vaucher, Pascal Felber, Marcelo Pasin, Valerio Schiavoni
Mind the Gap: Autonomous Detection of Partitioned MANET Systems using Opportunistic AggregationFull-text access may be available. Sign in or learn about subscription options.pp. 143-152
by Simon Bouget, Yérom-David Bromberg, Hugues Mercier, Etienne Rivière, François Taiani
DMap: A Fault-Tolerant and Scalable Distributed Data StructureFull-text access may be available. Sign in or learn about subscription options.pp. 153-160
by Samuel Benz, Fernando Pedone
Enabling State Estimation for Fault Identification in Water Distribution Systems Under Large DisastersFull-text access may be available. Sign in or learn about subscription options.pp. 161-170
by Qing Han, Ronald Eguchi, Sharad Mehrotra, Nalini Venkatasubramanian
Improving Reliability of Deduplication-Based Storage Systems with Per-File ParityFull-text access may be available. Sign in or learn about subscription options.pp. 171-180
by Suzhen Wu, Huagao Luan, Bo Mao, Hong Jiang, Gen Niu, Hui Rao, Fang Yu, Jindong Zhou
MuSE: Multimodal Searchable Encryption for Cloud ApplicationsFull-text access may be available. Sign in or learn about subscription options.pp. 181-190
by Bernardo Ferreira, João Leitão, Henrique Domingos
Héron: Taming Tail Latencies in Key-Value Stores Under Heterogeneous WorkloadsFull-text access may be available. Sign in or learn about subscription options.pp. 191-200
by Vikas Jaiman, Sonia Ben Mokhtar, Vivien Quéma, Lydia Y. Chen, Etienne Rivière
A Requirements-Driven Methodology for the Proper Selection and Configuration of BlockchainsFull-text access may be available. Sign in or learn about subscription options.pp. 201-206
by Mirko Staderini, Enrico Schiavone, Andrea Bondavalli
Crash-Resilient Decentralized Synchronous Runtime VerificationFull-text access may be available. Sign in or learn about subscription options.pp. 207-212
by Shokoufeh Kazemlou, Borzoo Bonakdarpour
Decentralized Release of Self-Emerging Data using Smart ContractsFull-text access may be available. Sign in or learn about subscription options.pp. 213-220
by Chao Li, Balaji Palanisamy
Geographic State Machine ReplicationFull-text access may be available. Sign in or learn about subscription options.pp. 221-230
by Paulo Coelho, Fernando Pedone
Kernel PaxosFull-text access may be available. Sign in or learn about subscription options.pp. 231-240
by Emanuele Giuseppe Esposito, Paulo Coelho, Fernando Pedone
MDC-Cast: A Total-Order Broadcast Protocol for Multi-Datacenter EnvironmentsFull-text access may be available. Sign in or learn about subscription options.pp. 241-250
by Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun, Vivien Quema
Byzantine Agreement with Interval ValidityFull-text access may be available. Sign in or learn about subscription options.pp. 251-260
by Darya Melnyk, Roger Wattenhofer
Dynamic Checkpoint Architecture for Reliability Improvement on Distributed FrameworksFull-text access may be available. Sign in or learn about subscription options.pp. 261-263
by Paulo Vinicius Cardoso, Patrícia Pitthan Barcelos
Security, Performance and Energy Implications of Hardware-Assisted Memory Protection Mechanisms on Event-Based Streaming SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 264-266
by Christian Göttel, Rafael Pires, Isabelly Rocha, Sébastien Vaucher, Pascal Felber, Marcelo Pasin, Valerio Schiavoni
Collective Attestation: for a Stronger Security in Embedded NetworksFull-text access may be available. Sign in or learn about subscription options.pp. 267-268
by Ahmad Ibrahim
Towards Real-Time-Aware Intrusion ToleranceFull-text access may be available. Sign in or learn about subscription options.pp. 269-270
by Christoph Lambert, Marcus Völp, Jérémie Decouchant, Paulo Esteves-Verissimo
Definition of an Architecture for Dynamic and Automatic Checkpoints on Apache SparkFull-text access may be available. Sign in or learn about subscription options.pp. 271-272
by Paulo Vinicius Cardoso, Patrícia Pitthan Barcelos
Model-Driven Middleware to Support the Creation of Applications within Different Domains in Smart CitiesFull-text access may be available. Sign in or learn about subscription options.pp. 273-274
by Paulo César Ferreira Melo, Fábio Moreira Costa
Author IndexFreely available from IEEE.pp. 275-276
[Publisher's information]Freely available from IEEE.pp. 278-278
Showing 45 out of 45