Towards Byzantine Resilient Directories. - Ali Shoker; Jean Paul Bahsoun (NCA, 2012)

Byzantine Fault Tolerance: From Static Selection To Dynamic Switching. (Byzantine Fault Tolerance: From Static Selection To Dynamic Switching). - Ali Shoker (2012)

RAC: A Freerider-Resilient, Scalable, Anonymous Communication Protocol. - Sonia Ben Mokhtar; Gautier Berthou 002; Amadou Diarra; Vivien Quéma; Ali Shoker (ICDCS, 2013)

Improving Independence of Failures in BFT. - Ali Shoker; Jean Paul Bahsoun; Maysam Yabandeh (NCA, 2013)

BFT Selection. - Ali Shoker; Jean Paul Bahsoun (NETYS, 2013)

Making Operation-Based CRDTs Operation-Based. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (DAIS, 2014)

Efficient state-based CRDTs by decomposition. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (PaPEC@EuroSys, 2014)

Making BFT Protocols Really Adaptive. - Jean Paul Bahsoun; Rachid Guerraoui; Ali Shoker (IPDPS, 2015)

Efficient State-Based CRDTs by Delta-Mutation. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (NETYS, 2015)

Exactly-Once Quantity Transfer. - Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (SRDS Workshop, 2015)

Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. - Vitor Enes; Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (PMLDC@ECOOP, 2016)

Integration Challenges of Pure Operation-based CRDTs in Redis. - Georges Younes 002; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (PMLDC@ECOOP, 2016)

Life Beyond Distributed Transactions on the Edge. - Ali Shoker; Ziad Kassam; Paulo Sérgio Almeida; Carlos Baquero (MECC@Middleware, 2016)

Exploiting universal redundancy. - Ali Shoker (NCA, 2016)

As Secure as Possible Eventual Consistency: Work in Progress. - Ali Shoker; Houssam Yactine; Carlos Baquero (PaPoC@EuroSys, 2017)

Aggregation protocols in light of reliable communication. - Ziad Kassam; Ali Shoker; Paulo Sérgio Almeida; Carlos Baquero (NCA, 2017)

Sustainable blockchain through proof of exercise. - Ali Shoker (NCA, 2017)

Pure Operation-Based Replicated Data Types. - Carlos Baquero; Paulo Sérgio Almeida; Ali Shoker (CoRR, 2017)

Brief Announcement: Sustainable Blockchains through Proof of eXercise. - Ali Shoker (PODC, 2018)

Delta state replicated data types. - Paulo Sérgio Almeida; Ali Shoker; Carlos Baquero (J. Parallel Distributed Comput., 2018)

Data management techniques. - Angelos Bilas; Jesús Carretero 001; Toni Cortes; Javier García-Blas; Pilar González-Férez; Anastasios Papagiannis; Anna Queralt; Fabrizio Marozzo; Giorgos Saloustros; Ali Shoker; Domenico Talia; Paolo Trunfio (Ultrascale Computing Systems, 2019)

Programming models and runtimes. - Georges Da Costa; Alexey L. Lastovetsky; Jorge G. Barbosa; Juan Carlos Díaz Martín; Juan-Luis García Zapata; Matthias Janetschek; Emmanuel Jeannot; João Leitão 001; Ravi Reddy Manumachu; Radu Prodan; Juan A. Rico-Gallego; Peter Van Roy; et al. (Ultrascale Computing Systems, 2019)

Successful Systems in Production Graduate Teaching. - Ali Shoker (EduHPC@SC, 2019)

TorMass: Tor for the Masses Domestic and Monetized Anonymous Communication. - Ali Shoker (CENTERIS/ProjMAN/HCist, 2020)

ASPAS: As Secure as Possible Available Systems. - Houssam Yactine; Ali Shoker; Georges Younes 002 (DAIS, 2021)

A First Step Towards Holistic Trustworthy Platoons. - Ali Shoker; Peter Moertl; Ramiro Robles (WF-IoT, 2021)

Exon: An Oblivious Exactly-Once Messaging Protocol. - Ziad Kassam; Paulo Sérgio Almeida; Ali Shoker (ICCCN, 2022)

The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. - Ali Shoker; Paulo Esteves Veríssimo; Marcus Völp (DSN-S, 2023)

Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks. - Ahmad Tariq Sheikh; Ali Shoker; Paulo Esteves Veríssimo (EuroSec@EUROSYS, 2023)

ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. - Ali Shoker; Fernando Alves; Paulo Esteves Veríssimo (SRDS, 2023)

Intrusion Resilience Systems for Modern Vehicles. - Ali Shoker; Vincent Rahli; Jérémie Decouchant; Paulo Esteves Veríssimo (VTC2023-Spring, 2023)

System on Chip Rejuvenation in the Wake of Persistent Attacks. - Ahmad T. Sheikh; Ali Shoker; Paulo Esteves Veríssimo (CoRR, 2023)

Digital Sovereignty Strategies for Every Nation. - Ali Shoker (CoRR, 2023)

ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. - Ali Shoker; Fernando Alves; Paulo Esteves Veríssimo (CoRR, 2023)

Resilient and Secure Programmable System-on-Chip Accelerator Offload. - Inês Pinto Gouveia; Ahmad T. Sheikh; Ali Shoker; Suhaib A. Fahmy; Paulo Esteves Veríssimo (SRDS, 2024)

Savvy: Trustworthy Autonomous Vehicles Architecture. - Ali Shoker; Rehana Yasmin; Paulo Esteves Veríssimo (CoRR, 2024)

Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation. - Ziad Kassam; Paulo Sérgio Almeida; Ali Shoker (IEEE Access, 2025)

EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations. - Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia; Rolando Martins; Paulo Jorge Esteves Veríssimo (CoRR, 2025)

EVOLVE: a Value-Added Services Platform for Electric Vehicle Charging Stations. - Erick Silva; Tadeu Freitas; Rehana Yasmin; Ali Shoker; Paulo Esteves Veríssimo (CoRR, 2025)

ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips. - Ahmad T. Sheikh; Ali Shoker; Suhaib A. Fahmy; Paulo Esteves Veríssimo (IEEE Trans. Very Large Scale Integr. Syst., 2025)