| 2025 | VTC | 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 Verssimo |
| 2025 | VTC | EVolve: A Value-Added Services Platform for Electric Vehicle Charging Stations. | Erick Silva, Tadeu Freitas, Rehana Yasmin, Ali Shoker, Paulo Jorge Esteves Verssimo |
| 2024 | SRDS | Resilient and Secure Programmable System-on-Chip Accelerator Offload. | Ins Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Esteves Verssimo |
| 2023 | DSN | The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. | Ali Shoker, Paulo Esteves Verssimo, Marcus Vlp |
| 2023 | VTC | Intrusion Resilience Systems for Modern Vehicles. | Ali Shoker, Vincent Rahli, Jrmie Decouchant, Paulo Esteves Verssimo |
| 2023 | SRDS | ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. | Ali Shoker, Fernando Alves, Paulo Esteves Verssimo |
| 2022 | ICCCN | Exon: An Oblivious Exactly-Once Messaging Protocol. | Ziad Kassam, Paulo Srgio Almeida, Ali Shoker |
| 2021 | DAIS | ASPAS: As Secure as Possible Available Systems. | Houssam Yactine, Ali Shoker, Georges Younes |
| 2019 | SC | Successful Systems in Production Graduate Teaching. | Ali Shoker |
| 2018 | PODC | Brief Announcement: Sustainable Blockchains through Proof of eXercise. | Ali Shoker |
| 2017 | EuroSys | As Secure as Possible Eventual Consistency: Work in Progress. | Ali Shoker, Houssam Yactine, Carlos Baquero |
| 2017 | NCA | Aggregation protocols in light of reliable communication. | Ziad Kassam, Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2017 | NCA | Sustainable blockchain through proof of exercise. | Ali Shoker |
| 2016 | ECOOP | Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. | Vitor Enes, Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2016 | ECOOP | Integration Challenges of Pure Operation-based CRDTs in Redis. | Georges Younes, Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2016 | Middleware | Life Beyond Distributed Transactions on the Edge. | Ali Shoker, Ziad Kassam, Paulo Srgio Almeida, Carlos Baquero |
| 2016 | NCA | Exploiting universal redundancy. | Ali Shoker |
| 2015 | SRDS | Exactly-Once Quantity Transfer. | Ali Shoker, Paulo Srgio Almeida, Carlos Baquero |
| 2014 | DAIS | Making Operation-Based CRDTs Operation-Based. | Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2014 | EuroSys | Efficient state-based CRDTs by decomposition. | Paulo Srgio Almeida, Ali Shoker, Carlos Baquero |
| 2014 | EuroSys | Making operation-based CRDTs operation-based. | Carlos Baquero, Paulo Srgio Almeida, Ali Shoker |
| 2013 | ICDCS | RAC: A Freerider-Resilient, Scalable, Anonymous Communication Protocol. | Sonia Ben Mokhtar, Gautier Berthou, Amadou Diarra, Vivien Quma, Ali Shoker |
| 2013 | NCA | Improving Independence of Failures in BFT. | Ali Shoker, Jean Paul Bahsoun, Maysam Yabandeh |
| 2012 | NCA | Towards Byzantine Resilient Directories. | Ali Shoker, Jean Paul Bahsoun |