


default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
- Ali Shoker
King Abdullah University of Science and Technology (KAUST), Resilient Computing and Cybersecurity Center (RC3), Saudi Arabia
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 44 matches
- 2024
- Inês Pinto Gouveia, Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Esteves Veríssimo:
Resilient and Secure Programmable System-on-Chip Accelerator Offload. SRDS 2024: 52-65 - Ali Shoker, Rehana Yasmin, Paulo Esteves Veríssimo:
Savvy: Trustworthy Autonomous Vehicles Architecture. CoRR abs/2402.14580 (2024) - 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) - Ahmad T. Sheikh, Ali Shoker, Suhaib A. Fahmy, Paulo Jorge Esteves Veríssimo:
ResiLogic: Leveraging Composability and Diversity to Design Fault and Intrusion Resilient Chips. CoRR abs/2409.02553 (2024) - 2023
- 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 - 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 - Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScaIOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. SRDS 2023: 151-161 - Ali Shoker, Vincent Rahli, Jérémie Decouchant
, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. VTC2023-Spring 2023: 1-7 - Ahmad T. Sheikh, Ali Shoker, Paulo Esteves Veríssimo:
System on Chip Rejuvenation in the Wake of Persistent Attacks. CoRR abs/2301.08018 (2023) - 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) - Ali Shoker:
Digital Sovereignty Strategies for Every Nation. CoRR abs/2307.01791 (2023) - Ali Shoker, Fernando Alves, Paulo Esteves Veríssimo:
ScalOTA: Scalable Secure Over-the-Air Software Updates for Vehicles. CoRR abs/2307.02032 (2023) - Ali Shoker, Vincent Rahli, Jeremie Decouchant, Paulo Esteves Veríssimo:
Intrusion Resilience Systems for Modern Vehicles. CoRR abs/2307.04184 (2023) - 2022
- Ziad Kassam
, Paulo Sérgio Almeida
, Ali Shoker:
Exon: An Oblivious Exactly-Once Messaging Protocol. ICCCN 2022: 1-10 - 2021
- Houssam Yactine, Ali Shoker, Georges Younes:
ASPAS: As Secure as Possible Available Systems. DAIS 2021: 57-73 - Ali Shoker, Peter Moertl, Ramiro Robles:
A First Step Towards Holistic Trustworthy Platoons. WF-IoT 2021: 795-800 - 2020
- Ali Shoker:
TorMass: Tor for the Masses Domestic and Monetized Anonymous Communication. CENTERIS/ProjMAN/HCist 2020: 1216-1224 - 2019
- Ali Shoker
:
Successful Systems in Production Graduate Teaching. EduHPC@SC 2019: 42-48 - 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 - 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 - 2018
- Paulo Sérgio Almeida
, Ali Shoker
, Carlos Baquero
:
Delta state replicated data types. J. Parallel Distributed Comput. 111: 162-173 (2018) - Ali Shoker:
Brief Announcement: Sustainable Blockchains through Proof of eXercise. PODC 2018: 269-271 - 2017
- Ali Shoker
, Houssam Yactine
, Carlos Baquero
:
As Secure as Possible Eventual Consistency: Work in Progress. PaPoC@EuroSys 2017: 5:1-5:5 - Ziad Kassam
, Ali Shoker
, Paulo Sérgio Almeida
, Carlos Baquero:
Aggregation protocols in light of reliable communication. NCA 2017: 145-148 - Ali Shoker
:
Sustainable blockchain through proof of exercise. NCA 2017: 393-401 - Carlos Baquero, Paulo Sérgio Almeida
, Ali Shoker
:
Pure Operation-Based Replicated Data Types. CoRR abs/1710.04469 (2017) - 2016
- 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 - Georges Younes
, Ali Shoker
, Paulo Sérgio Almeida
, Carlos Baquero
:
Integration Challenges of Pure Operation-based CRDTs in Redis. PMLDC@ECOOP 2016: 7 - Ali Shoker, Ziad Kassam, Paulo Sérgio Almeida, Carlos Baquero:
Life Beyond Distributed Transactions on the Edge. MECC@Middleware 2016: 4 - Ali Shoker
:
Exploiting universal redundancy. NCA 2016: 199-203
skipping 14 more matches
loading more results
failed to load more results, please try again later

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.
retrieved on 2025-02-19 04:00 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint