| WORKSHOP DAY - 02 October 2018 (Tue) | Session Chair | |
|---|---|---|
| 14:00 - 15:30 | WDSC | |
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 17:30 | WDSC | |
| CONFERENCE DAY I - 03 October 2018 (Wed) | Session Chair | |
| 08:45 - 09:00 | Opening Session | |
| 09:00 - 10:00 | Keynote 1 | Rui Oliveira |
| 10:00 - 10:30 | Coffee Break | |
| 10:30 - 12:30 | Session 1. Attacks | Sonia Benmokthar |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 15:30 | Session 2. Distributed Protocols | Nalini Venkatasubramanian |
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 17:30 | Session 3. Networks | Etienne Riviere |
| From 18:00 | Welcome Reception | |
| CONFERENCE DAY II - 04 October 2018 (Thur) | Session Chair | |
| 09:00 - 10:00 | Keynote 2 | Andrea Bondavalli |
| 10:00 - 10:30 | Coffee Break | |
| 10:30 - 12:30 | Session 4. Trusted Execution Environments | Laurent Réveillère |
| 12:30 - 14:00 | Lunch | |
| 14:00 - 15:30 | Session 5. Fault-Tolerance | João Leitão |
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 17:30 | Session 6. Data Management and Storage | Borzoo Bonakdarpour |
| 18:30 - 22:00 | Banquet | |
| CONFERENCE DAY III - 05 October 2018 (Fri) | Session Chair | |
| 10:45 - 11:30 | Session 7. Block Chain and Verification - Short Papers | Valerio Schiavoni |
| 11:30 - 12:00 | Posters and Abstracts | Flávio Assis |
| 12:00 - 13:30 | Lunch | |
| 13:30 - 15:30 | Session 8. Consensus and State Machine Replication | Alirio Sá |
| 15:30 - 16:00 | Coffee Break | |
| 16:00 - 18:00 | PHD Forum | José Pereira |
| 18:00 - 18:15 | Closing Session | |
| WDSC | 02 October 2018 (Tue) |
|---|
|
Research on theoretical structure design of smart community large data platform Jia Nan, Xing Han, Qian Jing, Chen Yongqiang and Liu Yi A Microservices Architecture for Distributed Complex Event Processing in Smart Cities Fernando Freire Scattone and Kelly Rosa Braghetto Visualizing large datasets: A case study with data of the buses of São Paulo city Felipe Cordeiro Alves Dias and Daniel Cordeiro Abstracting Big Data Processing Tools for Smart Cities Fernanda de Camargo Magano and Kelly Rosa Braghetto |
| SESSION 1. ATTACKS | 03 October 2018 (Wed) | 10:30 - 12:30 |
|
Abusing CDNs for Fun and Profit: Security Issues in CDNs' Origin Validation Run Guo, Jianjun Chen, Baojun Liu, Jia Zhang, Chao Zhang, Haixin Duan, Tao Wan, Jian Jiang, Shuang Hao and Yaoqi Jia Impact of Man-In-The-Middle Attacks on Ethereum Parinya Ekparinya, Vincent Gramoli and Guillaume Jourjon US-AID: Unattended Scalable Attestation of IoT Devices Ahmad Ibrahim, Ahmad-Reza Sadeghi and Gene Tsudik A Scalable and Efficient Correlation Engine to Detect Multi-step Attacks in Distributed Systems Lanoe David, Hurfin Michel and Totel Eric |
| SESSION 2. DISTRIBUTED PROTOCOLS | 03 October 2018 (Wed) | 14:00 - 15:30 |
|
Practical Continuous Aggregation in Wireless Edge Environments Pedro Ákos Costa and João Leitão Breaking the Scalability Barrier of Causal Broadcast for Large and Dynamic Systems Brice Nédelec, Pascal Molli and Achour Mostéfaoui Policy-Based Adaptation of a Byzantine Fault Tolerant Distributed Graph Database Ray Neiheiser, Manuel Bravo, Luciana Rech and Luis Rodrigues |
| SESSION 3. NETWORKS | 03 October 2018 (Wed) | 16:00 - 17:30 |
|
Mobile Cloud-of-Clouds Storage Made Efficient: A Network Coding Based Approach Jiajie Shen, Yi Li, Yangfan Zhou and Xin Wang Adversarially-Resistant On-Demand Topic Channels for Wireless Sensor Networks Hans Walter Behrens and K. Selçuk Candan Secure Information Forwarding through Fragmentation in Delay-tolerant Networks Shudip Dutta and Sanjay Madria |
| SESSION 4. TRUSTED EXECUTION ENVIRONMENTS | 04 October 2018 (Thur) | 10:30 - 12:30 |
|
RATCHETA: Memory-bounded Hybrid Byzantine Consensus for Cooperative Embedded Systems Wenbo Xu and Rüdiger Kapitza MaskAl: Privacy Preserving Masked Reads Alignment using Intel SGX Christoph Lambert, Maria Fernandes, Jérémie Decouchant and Paulo Veríssimo PubSub-SGX: Exploiting Trusted Execution Environments for Privacy-Preserving Publish/Subscribe Systems Sergei Arnautov, Andrey Brito, Pascal Felber, Christof Fetzer, Franz Gregor, Robert Krahn, Wojciech Ozga, André Martin, Valerio Schiavoni, Fábio Silva, Marcus Tenorio and Nikolaus Thümmel Security, Performance and Energy Trade-offs of Hardware-assisted Memory Protection Mechanisms Christian Göttel, Rafael Pires, Isabelly Rocha, Sébastien Vaucher, Pascal Felber, Marcelo Pasin and Valerio Schiavoni |
| SESSION 5. FAULT-TOLERANCE | 04 October 2018 (Thur) | 14:00 - 15:30 |
|
Mind the Gap: Autonomous Detection of Partitioned MANET Systems using Opportunistic Aggregation Simon Bouget, Yérom-David Bromberg, Hugues Mercier, Etienne Rivière and Francois Taiani DMap: A fault-tolerant and scalable distributed data structure Samuel Benz and Fernando Pedone Enabling State Estimation for Fault Identification in Water Distribution Systems under Large Disasters (Best paper award) Qing Han, Ronald Eguchi, Sharad Mehrotra and Nalini Venkatasubramanian |
| SESSION 6. DATA MANAGEMENT AND STORAGE | 04 October 2018 (Thur) | 16:00 - 17:30 |
|
Improving Reliability of Deduplication-based Storage Systems with Per-File Parity Suzhen Wu, Huagao Luan, Bo Mao, Hong Jiang and Gen Niu MuSE: Multimodal Searchable Encryption for Cloud Applications Bernardo Ferreira, João Leitão and Henrique Domingos Héron: Taming Tail Latencies in Key-Value Stores under Heterogeneous Workloads Vikas Jaiman, Sonia Ben Mokhtar, Vivien Quéma, Lydia Y. Chen and Etienne Rivière |
| SESSION 7. BLOCKCHAIN AND VERIFICATION - SHORT PAPERS | 05 October 2018 (Fri) | 10:45 - 11:30 |
|
A Requirements-Driven Methodology for the Proper Selection and Configuration of Blockchains Mirko Staderini, Enrico Schiavone and Andrea Bondavalli Crash-Resilient Decentralized Synchronous Runtime Verification Shokoufeh Kazemlou and Borzoo Bonakdarpour Decentralized Release of Self-emerging Data using Smart Contracts Chao Li and Balaji Palanisamy |
| POSTERS AND ABSTRACTS SESSION | 05 October 2018 (Fri) | 11:30 - 12:00 |
|
Dynamic Checkpoint Architecture for Reliability Improvement on Distributed Frameworks Paulo Vinicius Cardoso and Patricia Pitthan Barcelos Security, Performance and Energy Implications of Hardware-assisted Memory Protection Mechanisms on Event-based Streaming Systems Christian Göttel, Rafael Pires, Isabelly Rocha, Sébastien Vaucher, Pascal Felber, Marcel Pasin and Valerio Schiavoni |
| SESSION 8. CONSENSUS AND STATE MACHINE REPLICATION | 05 October 2018 (Fri) | 13:30 - 15:30 |
|
Geographic State Machine Replication Paulo Coelho and Fernando Pedone Kernel Paxos Emanuele Giuseppe Esposito, Paulo Coelho and Fernando Pedone MDC-cast: a Total-Order Broadcast Protocol for Multi-Datacenter Environments Mohamad-Jaafar Nehme, Nicolas Palix, Kamal Beydoun and Vivien Quema Byzantine Agreement with Interval Validity Darya Melnyk and Roger Wattenhofer |
| PHD FORUM | 05 October 2018 (Fri) | 16:00 - 18:00 |
|
Collective Attestation: for a Stronger Security in Embedded Networks Ahmad Ibrahim Towards Real-Time-Aware Intrusion Tolerance Christoph Lambert, Marcus Völp, Jérémie Decouchant and Paulo Esteves-Verissimo Definition of an Architecture for Dynamic and Automatic Checkpoints on Apache Spark Paulo Vinicius Cardoso, Patrı́cia Pitthan Barcelos Model-Driven Middleware to Support the Creation of Applications within different Domains in Smart Cities Paulo César Ferreira Melo, Fábio Moreira Costa |
| Sponsored By | Organized By | Supported By |
|
  
|
  
|