Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAli Shoker
Person information
- affiliation: King Abdullah University of Science and Technology (KAUST), Resilient Computing and Cybersecurity Center (RC3), Saudi Arabia
- affiliation (former): VORTEX Colab, Porto, Portugal
- affiliation (former): INESC TEC, HASLab, Porto, Portugal
- affiliation (former): University of Minho, Department of Informatics, Braga, Portugal
- affiliation (former, PhD 2012): University of Toulouse III, IRIT Laboratory, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2012
[b1]Ali Shoker:
Byzantine Fault Tolerance: From Static Selection To Dynamic Switching. (Byzantine Fault Tolerance: From Static Selection To Dynamic Switching). Paul Sabatier University, Toulouse, France, 2012
Journal Articles
- 2018
- [j1]Paulo Sérgio Almeida
, Ali Shoker, Carlos Baquero:
Delta state replicated data types. J. Parallel Distributed Comput. 111: 162-173 (2018)
Conference and Workshop Papers
- 2023
- [c27]Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. DSN-S 2023: 157-162 - [c26]Ahmad Tariq Sheikh, Ali Shoker, Paulo Esteves Veríssimo:
Resilient and Secure System on Chip with Rejuvenation in the Wake of Persistent Attacks. EuroSec@EUROSYS 2023: 37-43 - [c25]Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. SRDS 2023: 151-161 - [c24]Ali Shoker, Vincent Rahli, Jérémie Decouchant, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. VTC2023-Spring 2023: 1-7 - 2022
- [c23]Ziad Kassam, Paulo Sérgio Almeida, Ali Shoker:
Exon: An Oblivious Exactly-Once Messaging Protocol. ICCCN 2022: 1-10 - 2021
- [c22]Houssam Yactine, Ali Shoker, Georges Younes:
ASPAS: As Secure as Possible Available Systems. DAIS 2021: 57-73 - [c21]Ali Shoker, Peter Moertl, Ramiro Robles:
A First Step Towards Holistic Trustworthy Platoons. WF-IoT 2021: 795-800 - 2020
- [c20]Ali Shoker:
TorMass: Tor for the Masses Domestic and Monetized Anonymous Communication. CENTERIS/ProjMAN/HCist 2020: 1216-1224 - 2019
- [c19]Ali Shoker:
Successful Systems in Production Graduate Teaching. EduHPC@SC 2019: 42-48 - 2018
- [c18]Ali Shoker:
Brief Announcement: Sustainable Blockchains through Proof of eXercise. PODC 2018: 269-271 - 2017
- [c17]Ali Shoker, Houssam Yactine, Carlos Baquero:
As Secure as Possible Eventual Consistency: Work in Progress. PaPoC@EuroSys 2017: 5:1-5:5 - [c16]Ziad Kassam, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Aggregation protocols in light of reliable communication. NCA 2017: 145-148 - [c15]Ali Shoker:
Sustainable blockchain through proof of exercise. NCA 2017: 393-401 - 2016
- [c14]Vitor Enes, Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Join Decompositions for Efficient Synchronization of CRDTs after a Network Partition: Work in progress report. PMLDC@ECOOP 2016: 6 - [c13]Georges Younes, Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Integration Challenges of Pure Operation-based CRDTs in Redis. PMLDC@ECOOP 2016: 7 - [c12]Ali Shoker, Ziad Kassam, Paulo Sérgio Almeida, Carlos Baquero:
Life Beyond Distributed Transactions on the Edge. MECC@Middleware 2016: 4 - [c11]Ali Shoker:
Exploiting universal redundancy. NCA 2016: 199-203 - 2015
- [c10]Jean Paul Bahsoun, Rachid Guerraoui, Ali Shoker:
Making BFT Protocols Really Adaptive. IPDPS 2015: 904-913 - [c9]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient State-Based CRDTs by Delta-Mutation. NETYS 2015: 62-76 - [c8]Ali Shoker, Paulo Sérgio Almeida, Carlos Baquero:
Exactly-Once Quantity Transfer. SRDS Workshop 2015: 68-73 - 2014
- [c7]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Making Operation-Based CRDTs Operation-Based. DAIS 2014: 126-140 - [c6]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient state-based CRDTs by decomposition. PaPEC@EuroSys 2014: 3:1-3:2 - [c5]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Making operation-based CRDTs operation-based. PaPEC@EuroSys 2014: 7:1-7:2 - 2013
- [c4]Sonia Ben Mokhtar, Gautier Berthou, Amadou Diarra, Vivien Quéma, Ali Shoker:
RAC: A Freerider-Resilient, Scalable, Anonymous Communication Protocol. ICDCS 2013: 520-529 - [c3]Ali Shoker, Jean Paul Bahsoun, Maysam Yabandeh:
Improving Independence of Failures in BFT. NCA 2013: 227-234 - [c2]Ali Shoker, Jean Paul Bahsoun:
BFT Selection. NETYS 2013: 258-262 - 2012
- [c1]Ali Shoker, Jean Paul Bahsoun:
Towards Byzantine Resilient Directories. NCA 2012: 52-60
Parts in Books or Collections
- 2019
- [p2]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, Ravi Reddy Manumachu, Radu Prodan, Juan A. Rico-Gallego, Peter Van Roy, Ali Shoker, Albert van der Linde:
Programming models and runtimes. Ultrascale Computing Systems 2019: 9-63 - [p1]Angelos Bilas, Jesús Carretero, 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:
Data management techniques. Ultrascale Computing Systems 2019: 85-126
Informal and Other Publications
- 2024
- [i11]Ali Shoker, Rehana Yasmin, Paulo Esteves Veríssimo:
Savvy: Trustworthy Autonomous Vehicles Architecture. CoRR abs/2402.14580 (2024) - [i10]Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo:
Resilient and Secure Programmable System-on-Chip Accelerator Offload. CoRR abs/2406.18117 (2024) - 2023
- [i9]Ahmad T. Sheikh, Ali Shoker, Paulo Esteves Veríssimo:
System on Chip Rejuvenation in the Wake of Persistent Attacks. CoRR abs/2301.08018 (2023) - [i8]Ali Shoker, Paulo Esteves Veríssimo, Marcus Völp:
The Path to Fault- and Intrusion-Resilient Manycore Systems on a Chip. CoRR abs/2307.01783 (2023) - [i7]Ali Shoker:
Digital Sovereignty Strategies for Every Nation. CoRR abs/2307.01791 (2023) - [i6]Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. CoRR abs/2307.02032 (2023) - [i5]Ali Shoker, Vincent Rahli, Jeremie Decouchant, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. CoRR abs/2307.04184 (2023) - 2017
- [i4]Carlos Baquero, Paulo Sérgio Almeida, Ali Shoker:
Pure Operation-Based Replicated Data Types. CoRR abs/1710.04469 (2017) - 2016
- [i3]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Delta State Replicated Data Types. CoRR abs/1603.01529 (2016) - [i2]Ali Shoker:
Exploiting Universal Redundancy. CoRR abs/1610.00049 (2016) - 2014
- [i1]Paulo Sérgio Almeida, Ali Shoker, Carlos Baquero:
Efficient State-based CRDTs by Delta-Mutation. CoRR abs/1410.2803 (2014)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-25 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
