VORTEX Colab, Portugal
ali (d0t ) shoker (at) vortex-colab (d0t) com
I am the Head of Cybersecurity Research and Innovation at VORTEX Colab. I am privileged to be building the Cybersecurity and Distributed Systems R&I team. I hold a PhD degree with European Label in Computer Science obtained from the University of Toulouse.

I am interested in understanding and building cybersecure, resilientscalable, available, efficient, green, smart, and distributed systems. More recently, my focus is on the Cybersecure Automotive industry, i.e., Autonomous Vehicles, Connected Vehicles, V2X, etc..

Prior to VORTEX, I've been an Assistant Researcher at INESC TEC (HASLab research unit), Portugal, and an Invited Assistant Professor at the Department of Informatics of University of Minho and at MAP-I PhD school, Portugal. Before that, I worked as Postdoc at INSA de Lyon (France) and Intern twice at EPFL (Switzerland). My research work spans BFT/Blockchains, Security, Anonymous Communication, Cloud/Fog/Edge Computing, and data management (Conflict-free Replicated DataTypes - CRDTs).

News. (by Feb 2021)
- See our Best Paper Award PDF and Video at DisCoTec and DAIS'21 titled "ASPAS: As Secure as Possible Available Systems". 
- Read my Invited paper at the prestigious Cell Press One Earth journal on "Blockchain Technology as a Means for Sustainable Development".
 
 

 
Selected Publications. (Full list here.).
- Houssam Yactine, Ali Shoker, and Georges Younes. "ASPAS: As Secure as Possible Available Systems", 2021. DisCoTec Best Paper Award, and DAIS Best Paper.
- Ali Shoker. "Blockchain Technology as a Means for Sustainable Development". In the One Earth Journal , Cell Press and Elsevier, 2021. Invited Paper.
- Ali Shoker. "Sustainable Blockchain through Proof of eXercise". IEEE NCA, October 2017.
Paulo Sérgio Almeida, Ali Shoker, and Carlos Baquero. "Delta state replicated data types". JPDC Elsevier journal, 2018.
Jean-Paul Bahsoun, Rachid Guerraoui, and Ali Shoker. "Making BFT Protocols Really Adaptive". IEEE IPDPS'15, 2015. 
- Carlos Baquero, Paulo Sérgio Almeida, and Ali Shoker. "Making Operation-Based CRDTs Operation-Based". DAIS, 2014. DAIS joint Best Paper.
Sonia Ben Mokhtar, Gautier Berthou, Amadou Diarra, Vivien Quema, and Ali Shoker. "RAC: a Freerider-resilient, Scalable, Anonymous Communication Protocol". IEEE ICDCS'13,  2013.


Projects.
- P2020 CMU FLOYD project on safe and secure Platoon V2X/C-V2X/5G communications (Leading VORTEX contribution)
- EU H2020 ECSEL InSecTT – Intelligent Secure Trustable Things (Leading VORTEX contribution)
- V2XPlay (NORTE acceleration): V2X Simulation and Integration. (Lead.)
- SecUp (NORTE acceleration): Secure Over the Air (OTA) Software updates fro automotive. (Advisor.)
- CROWD (NORTE acceleration): Decentralised computation for Automotive ITS services. (Lead & Dev)
(Concluded) EU H2020 LightKone project on edge computing. (Leading INESC TEC's contribution & WP3).
- (Concluded) NESUS IC1305EU COST Action - Network for Sustainable Ultrascale Computing, 2018. (Member.)
(Concluded) P2020 Tec4Growth SMILES Portuguese project on Internet of Things; Portugal, 2014. (Member).
- (Concluded) NORTE ON.2 BESTCASE-RL3-NETSENSING: Network Sensing for Critical Systems Monitoring.
- (Concluded) EU FP7 SyncFree project on Conflict-free Replicated DataTypes. Portugal, 2016. (Member)
(Concluded) ANR SocEDA, National Research Agency, France, 2013. (Member.)
- (Concluded) EPFL BFT ABSTRACT: Modular switching for BFT state machine replication. 2011. (Member).

Services and volunteering.
- I volunteered on the Blockchain framework within the UN, UNECE, ITU report on "Blockchain for smart sustainable cities".
- Founder and organiser Chain-in Blockchain conference. 
- Founder and organiser of INESC TEC/HASLab InfoBlender seminar.
- (2020-now) Editorial Board Member CFATI International Journal of Cyber Forensics and Advanced Threat Investigations.
- (2019-2021) Associate Editor at TELKOMNIKA.

Project Evaluation.

EU H2020 BlockpoolExternal evaluator (4 Blockchain projects).

Journal Referee.
- IEEE’s TDSC 2021. Transactions on Dependable and Secure Computing.
- IJCFATI 2021. International Journal of Cyber Forensics and Advanced Threat Investigations.
- IEEE TKDE 2019. IEEE Transactions on Knowledge and Data Engineering. Topic: Blockchain.
- Elsevier JPDC 2018. Journal of Parallel and Distributed Computing. Topic: IoT Security.
- AJSE 2018. Arabian Journal for Science and Engineering. Topic: Systems load balancing.
IEEE TCC 2014. IEEE Transactions on Cloud Computing journal. Topic: Byzantine SDN.

Program Committee.
- FAB 2021. International Symposium on Foundations and Applications of Blockchain.
- AFEC (ICCCN) 2021: IEEE International Workshop on Advances in Fog/Edge Computing.
- PAPOC (EuroSys) 2021: Workshop on Principles and Practice of Consistency for Distributed Data.
- CloudCom 2020. The 10th IEEE International Conference on Cloud Computing Technology and Science.
- PAPOC (EuroSys) 2020: Workshop on Principles and Practice of Consistency for Distributed Data.
- AFEC (ICCCN) 2020: IEEE International Workshop on Advances in Fog/Edge Computing.
- ICA3PP 2019. The 16th International Conference on Algorithms and Architectures for Parallel Processing.
- CloudCom 2019. The 10th IEEE International Conference on Cloud Computing Technology and Science.
- CCGrid 2019. The 19th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.
- PAPOC (EuroSys) 2019: Workshop on Principles and Practice of Consistency for Distributed Data.
- CloudCom 2018. The 10th IEEE International Conference on Cloud Computing Technology and Science.
- PAPOC (EuroSys) 2018: Workshop on Principles and Practice of Consistency for Distributed Data.
- CloudCom 2017. The 9th IEEE International Conference on Cloud Computing Technology and Science.
- CCGrid 2017. The 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing.
- PMLDC (ECOOP) 2017. The 2nd workshop on Programming Models and Languages for Distributed Computing.
- CloudCom 2016. The 8th IEEE International Conference on Cloud Computing Technology and Science.
- ICA3PP 2016. The 16th International Conference on Algorithms and Architectures for Parallel Processing.
- PMLDC (ECOOP) 2016. The first workshop on Programming Models and Languages for Distributed Computing.
- EuroSys 2014. EuroSys Shadow PC (live PC).


Teaching.
- Successful Systems in Production (founder, proponent, and coordinator), a PhD course at MAP-I, Fall 2017 and Fall 2018. (See publication here.).
- Technology of Security: Introduction to Blockchains and Cryptocurrencies (proponent and lecturer), MSc course at the School of Engineering, University of Minho, Fall 2017.
- Reliable Distributed Systems, MSc course at the School of Engineering, University of Minho, Spring 2016.
- Functional Programming lab, undergraduate course at the School of Engineering, University of Minho, Fall 2016.

Tutorials & Invited Talks.
ATS Forum 2020. Talk on Automotive V2V Platoon Management and V2X Validation. Dec., 2020.
- ESTG P.Porto. Invited talk on Automotive Cybersecurity: Scope, Challenges, and Opportunities. Nov., 2020.
RISE SICS DSAW. Invited talk on "Edge Compute at Hyperscale", Sweden, Sept. 2018.
- UMinho Engineering Week SEI’17. Incited talk on "Everyone is excited to Bitcoin and Blockchain, shall I?", Portugal, Feb. 2018.
On the Three Vs of Big Data from a Quality of Data Perspective. Tutorial at NESUS Action winter school, Italy, 2017.
- Fundamentals of Distributed Systems "Next Generation Clouds - Powering the Cloud", PhD seminar tutorial at MAP-I, Portugal, Spring 2016.

PhD and Masters Advising.
- Mariana Fernandes, MSc at UMinho (co-supervisor with Carlos Bacelar Almeida). Topic. Traceability and safety tradeoffs in modern vehicles.
- Georges Younes, PhD at MAP-I (co-supervisor with Carlos Baquero). Topic. Operation-based CRDTs and scalable causal middlewares.
- Houssam Yactine, PhD at MAP-I (supervisor). Topic. Byzantine resilient highly available systems.
- Ziad Kassam, PhD at MAP-I (supervisor). Topic. Exactly-once communication for almost-infinite scalable applications.