Ali Shoker

Paulo Jorge Esteves Veríssimo

Suhaib A. Fahmy

CoRR, 2024

Savvy: Trustworthy Autonomous Vehicles Architecture.

[BibT_eX]

[DOI]

Rehana Yasmin

CoRR, 2024

Resilient and Secure Programmable System-on-Chip Accelerator Offload.

[BibT_eX]

[DOI]

Proceedings of the 43rd International Symposium on Reliable Distributed Systems, 2024

2023

ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles.

[BibT_eX]

[DOI]

Fernando Alves

CoRR, 2023

Digital Sovereignty Strategies for Every Nation.

[BibT_eX]

[DOI]

CoRR, 2023

System on Chip Rejuvenation in the Wake of Persistent Attacks.

[BibT_eX]

[DOI]

Ahmad T. Sheikh

CoRR, 2023

Intrusion Resilience Systems for Modern Vehicles.

[BibT_eX]

[DOI]

Vincent Rahli

Jérémie Decouchant

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles.

[BibT_eX]

[DOI]

Fernando Alves

Proceedings of the 42nd International Symposium on Reliable Distributed Systems, 2023

Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks.

[BibT_eX]

[DOI]

Ahmad Tariq Sheikh

Proceedings of the 16th European Workshop on System Security, 2023

The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip.

[BibT_eX]

[DOI]

Marcus Völp

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

2022

Exon: An Oblivious Exactly-Once Messaging Protocol.

[BibT_eX]

[DOI]

Ziad Kassam

Proceedings of the 31st International Conference on Computer Communications and Networks, 2022

2021

A First Step Towards Holistic Trustworthy Platoons.

[BibT_eX]

[DOI]

Peter Moertl

Ramiro Robles

Proceedings of the 7th IEEE World Forum on Internet of Things, 2021

ASPAS: As Secure as Possible Available Systems.

[BibT_eX]

[DOI]

Houssam Yactine

Georges Younes

Proceedings of the Distributed Applications and Interoperable Systems, 2021

2020

TorMass: Tor for the Masses Domestic and Monetized Anonymous Communication.

[BibT_eX]

[DOI]

Proceedings of the CENTERIS 2020 - International Conference on ENTERprise Information Systems / ProjMAN 2020 - International Conference on Project MANagement / HCist 2020, 2020

2019

Successful Systems in Production Graduate Teaching.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE/ACM Workshop on Education for High-Performance Computing, 2019

Programming models and runtimes.

[BibT_eX]

[DOI]

Georges Da Costa

Alexey L. Lastovetsky

Jorge G. Barbosa

Juan Carlos Díaz Martín

Juan-Luis García Zapata

Proceedings of the Ultrascale Computing Systems, 2019

Data management techniques.

[BibT_eX]

[DOI]

Anastasios Papagiannis

Proceedings of the Ultrascale Computing Systems, 2019

2018

Delta state replicated data types.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2018

Brief Announcement: Sustainable Blockchains through Proof of eXercise.

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, 2018

2017

Pure Operation-Based Replicated Data Types.

[BibT_eX]

[DOI]

CoRR, 2017

Sustainable blockchain through proof of exercise.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

Aggregation protocols in light of reliable communication.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 2017

As Secure as Possible Eventual Consistency: Work in Progress.

[BibT_eX]

[DOI]

Houssam Yactine

Proceedings of the 3rd International Workshop on Principles and Practice of Consistency for Distributed Data, 2017

2016

Exploiting universal redundancy.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Network Computing and Applications, 2016

Life Beyond Distributed Transactions on the Edge.

[BibT_eX]

[DOI]

Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets, 2016

Integration Challenges of Pure Operation-based CRDTs in Redis.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Programming Models and Languages for Distributed Computing, 2016

2015

Exactly-Once Quantity Transfer.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE Symposium on Reliable Distributed Systems Workshop, 2015

Efficient State-Based CRDTs by Delta-Mutation.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - Third International Conference, 2015

Making BFT Protocols Really Adaptive.

[BibT_eX]

[DOI]

Rachid Guerraoui

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015

2014

Efficient state-based CRDTs by decomposition.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on the Principles and Practice of Eventual Consistency, 2014

Making Operation-Based CRDTs Operation-Based.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems, 2014

2013

BFT Selection.

[BibT_eX]

[DOI]

Proceedings of the Networked Systems - First International Conference, 2013

Improving Independence of Failures in BFT.

[BibT_eX]

[DOI]

Maysam Yabandeh

Proceedings of the 2013 IEEE 12th International Symposium on Network Computing and Applications, 2013

RAC: A Freerider-Resilient, Scalable, Anonymous Communication Protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE 33rd International Conference on Distributed Computing Systems, 2013

2012

Byzantine Fault Tolerance: From Static Selection To Dynamic Switching. (Byzantine Fault Tolerance: From Static Selection To Dynamic Switching).

[BibT_eX]

[DOI]

PhD thesis, 2012

Towards Byzantine Resilient Directories.

[BibT_eX]

[DOI]