Profiles

Marc Dacier is a professor of Computer Science at KAUST. He is the principal investigator of the Security Research Bearing Experimental Results (SeRBER) Group. He previously served as a full professor and head of the Digital Security Department at EURECOM.

Dr. Dacier holds a Ph.D. in computer science (European Doctorate) from the Institut National Polytechnique de Toulouse, France, awarded in 1994. He has received numerous scientific awards and has served on over 120 security and dependability conference program committees.

Dacier has had a distinguished career in both academia and industry, working with several notable companies and institutions. His experience includes consulting for France Telecom and roles at IBM Research, Symantec Research Labs and the Qatar Computing Research Institute (QCRI).

At IBM, Dacier was the director of the IBM Global Security Analysis Laboratory, where his group produced the first market product for intrusion detection alert correlation. During his time at Symantec, his team developed an open platform called Worldwide Intelligent Network Environment (WINE) to share operational security data with researchers worldwide, promoting the reproducibility of security experiments. While at QCRI, he served as the founding director of the institute's cybersecurity research group.

He has served on over 120 program committees for major security and dependability conferences and has been a member of the editorial board of several top-tier peer-reviewed technical journals. In 1998, he founded the Research in Attacks, Intrusions and Defenses (RAID) conference (formerly known as Recent Advances in Intrusion Detection), which is ranked as a "Class A" conference by the Computing Research and Education Association of Australasia (CORE).

The internationally recognized expert in cybersecurity, who joined KAUST in 2021, focuses his research on intrusion detection, intrusion tolerance, network security, cybersecurity, threat intelligence and fraud detection.

At KAUST, Professor Dacier and his SeRBER group address network security issues related to the detection of middleboxes—devices that can serve a legitimate purpose in the connection between a client and a server but can also be misused by attackers to commit man-in-the-middle attacks. Another active area of research involves the security of online gaming (e-games, e-sports) and, more broadly, the metaverse. Additionally, they focus on the IoT ecosystem and operational technology (OT) networks, which are of particular interest to the oil and water industries.

Paulo Esteves-Veríssimo is a professor in the Computer Science (CS) program at KAUST. Previously, he was a professor and FNR PEARL Chair at the University of Luxembourg's (Uni.lu) Faculty of Science, Technology and Medicine (FSTM). He also led the CritiX Research Lab at the SnT Centre at Uni.lu, which achieved world-class results and established enduring research capacity in resilient computing, cybersecurity, and dependability.

He has also been a professor and a board member of the University of Lisbon (ULisboa), Portugal. At ULisboa, he created the Navigators research group and was the founding director of Laboratório de Sistemas Informáticos de Grande Escala (LaSIGE). From its founding in 1998, the computer science and engineering lab LaSIGE has carried out research in leading-edge areas backed by key indicators of excellence.

He was UNILU-SnT’s representative at the European Cyber Security Organization (ESCO) and member of its Scientific & Technical Committee (STC). He served as Chair of the IFIP WG 10.4 on Dependable Computing and Fault-Tolerance and vice-chair of the Steering Committee of the IEEE/IFIP DSN conference. He is a Fellow of the IEEE, a Fellow of the ACM and an associate editor of IEEE Transactions on Emerging Topics in Computing (TETC).

Professor Esteves-Veríssimo is interested in architectures, middleware and algorithms for resilient modular and distributed computing. In addition to examining paradigms and techniques that reconcile security and dependability, he also explores novel applications of these paradigms and techniques. By doing so, he achieves system resilience in areas such as autonomous vehicles, distributed control systems, digital health and genomics, and blockchain and cryptocurrency.

Dr. Esteves-Veríssimo’s research has featured in over 200 peer-reviewed international publications and five international books. He has delivered over 70 keynote speeches and distinguished lectures at reputable venues. As a systems and engineering specialist, he has contributed to designing and engineering several advanced industrial prototypes of distributed, fault-tolerant, secure or real-time systems developed through research and development.

Roberto Di Pietro (Fellow, IEEE; Distinguished Scientist, ACM; Fellow, AAIA; Member Academia Europaea) is a Professor of Computer Science with the KAUST CEMSE Division, Saudi Arabia. Previously, he was a Professor in Cybersecurity and founder of the Cyber-Security Research Innovation Lab (CRI-Lab) at Hamad Bin Khalifa University (HBKU)-College of Science and Engineering (CES), Qatar.

Previously, at Bell Labs (Alcatel-Lucent/Nokia), he served as Global Head for Security Research, managing three security research departments based in Paris, Munich and Espoo, aligning research with business objectives and moving research results into innovation. Before, he was a tenured professor at the University of Padova. He started his career as a senior military officer within the Italian Ministry of Defence (MoD), working on security-related nationwide technology projects.

He has been working in the cybersecurity field for more than 25 years, leading technology-oriented and research-focused teams in the private sector, government and academia. He has served as a senior security consultant for international organizations, including the United Nations (U.N.) and U.N. agencies (the International Atomic Energy Agency (IAEA), the United Nations Global Service Centre (UNLB) and the World Intellectual Property Organization (WIPO)). In addition to his international experience, he was appointed Seconded National Expert and detached for one year at the European Union Agency for Criminal Justice Cooperation (Eurojust).

As per his drive for innovation, besides being involved in the mergers and acquisitions (M&A) of startups—and having founded one (exited)—he is on the board of research centres and startups.

In 2011-2012, he was awarded a Chair of Excellence from the University Carlos III, Madrid, Spain. In 2020, he received the Jean-Claude Laprie Award for having significantly influenced the theory and practice of Dependable Computing. In 2022, he was awarded the Individual Innovation Award from HBKU. He has been consistently included in Stanford University's "World Ranking Top 2% Scientists" list since this ranking existed.

His education accounts for an M.S. in Computer Science ('94) and an M.S. in Informatics ('03), both from the University of Pisa (UniPi), Italy, and a Specialization Diploma in Operations Research and Strategic Decisions ('03) and a Ph.D. degree in Computer Science ('04), both from the University of Rome "La Sapienza."

In his academic career, he has secured more than $9 million in funding (either as LPI or PI).

A cybersecurity expert, his main research interests include AI-driven cybersecurity, security and privacy for distributed systems (e.g., UAVs, Blockchain technology, Cloud, IoT, OSNs), applied cryptography, FinTech, Quantum Computing and data science. In particular, Di Pietro identifies three lines of research above all others: critical infrastructure protection (CIP), online social networks (OSN) and cloud security.

He has extensively contributed scientific articles to the cited topics, co-authored four books and registered many patents and applications.

Ali is a Senior Research Staff Scientist within the CybeResil group, and is currently mentoring the group's research under the direction of Prof. Paulo Esteves-Verissimo. Ali was part of the core research team at the foundation of the former KAUST's RC3 Center and recently the Cyber Security and Resilience Community (CriSys), whose mission is to improve the state of the art and practice of Cyber-secure Cyber-resilient Cyber-physical systems. Ali is also project lead of building and operating the Cyber Security and Resilience (CSR) lab at KAUST. 

Ali has a hybrid academic and industrial research leadership experience. He was a co-founder and the head of Cybersecurity and Smart Distributed Systems research and innovation team at the industrial VORTEX CoLAB (Capgemini Group). He was in charge of the entire R&I process: strategy, scouting, ideation, conception, design, implementation, proof, validation, evaluation, publication, patenting, and pitching, and interviewing.

Prior to that, Ali worked as Assistant Researcher at INESC TEC (HASLab research unit), Portugal, where he founded with his co-authors the mainstream models for CRDTs (a.k.a., Conflict-free Replicated  Datatypes). The work has seen significant adoption in the Geo-replicated scalable available systems (among them, Facebook Apollo, PayPal, SoundCloud, TomTom, Cassandra DB, Microsoft Azure CosmosDB). In 2012-2013, he worked as Postdoc at INSA de Lyon (France), focusing on scalable anonymous communications under malicious and rational attacks, following a Game Theory Nash Equilibrium model. In 2012, he obtained his PhD degree with European Label in Computer Science from the University of Toulouse, France, working on Adaptive Byzantine/malicious/intrusion tolerant protocols. During his PhD, he visited EPFL (Switzerland) twice, hosted by Rachid Guerraoui who co-mentored his PhD. Ali was also an Invited Assistant Professor at the Department of Informatics of University of Minho and at MAP-I PhD school (Portugal). He founded, coordinated, and taught a new PhD course on "Successful Systems in Production", taught Cyber Security courses co-organized by KAUST Academy and the Saudi Nation Cybersecurity Authority (NCA), and also taught Master-level courses on Security, Blockchain, and available Geo-replicated systems topics.

Ali is and has been advising 3 PhD students and several Masters students on topics related to resilient Byzantine/intrusion tolerant available systems and cyber-secure automotive systems. Ali is currently mentoring several Research Scientists. Postdocs, interns, and students within the CybeResil group.

Foremost, Ali has a strong belief in research and innovation that serve humanity as a priority.

In a nutshell, Ali's main interest lies in both research and practice that revolve around understanding and building Cyber Secure and Resilient, scalable, available, efficient, green, smart, and distributed systems.

More recently, his focus has been on the Cybersecure Cyber-resilient Automotive industry (i.e., Autonomous Vehicles, Connected Vehicles, V2X), Cyber-physical systems (i.e., smart and connected infrastructures), small Satellite constellations, Hardware FPGA security and resilience, and Blockchain/Distributed Ledgers. Given the diversity and multidisciplinary nature of these areas, Ali is interested in any research topics that intersect and make the aforementioned topics better (in all senses). 

Throughout his research career, Ali's work spanned diverse topics on Byzantine/malicious Fault/intrusion tolerance,  Blockchains, Resilience, Cybersecurity, Security, Anonymous Communication, Cloud/Fog/Edge Computing, Automotive, and data management (Conflict-free Replicated DataTypes - CRDTs). 

Sheikh received his PhD in Computer Engineering from King Fahd University of Petroleum & Minerals (KFUPM), Dhahran, KSA in 2016. Before coming to KAUST, he was serving as an Assistant Professor in the Department of Electrical & Computer Engineering, Air University, Islamabad, Pakistan.

His research interests lie in designing fault tolerant digital circuits, hardware security and computer architecture. At RC3 he will extend his knowledge in investigating and designing of secure and resilient hardware platforms.

Inês is a Postdoctoral Research Fellow at the Cyber Resilience Research Group - CybeResil - part of the CriSys Community.

Before coming to KAUST, she worked as a Research Scientist at Intel Labs (Germany), where she explored safety features in the realms of open-source hardware and chiplets. In 2022, she obtained her Ph.D. from the University of Luxembourg where, being part of the CritiX group of the Interdisciplinary Center for Security, Reliability, and Trust (SnT), she researched architectural support for hypervisor-level intrusion tolerance in multiprocessor systems-on-chip (MPSoCs). In the same year, she briefly worked as a Research Associate in the same group, looking into NoC security and FPGA-based matrix accelerators.

Her Bachelor's and Master's studies were completed at the University of Lisbon, where she also worked as a Junior Researcher in the LaSIGE research unit (Navigators group).

Her research interests include fault- and intrusion-tolerant resilient systems, computer architecture, hardware design, FPGA security, FPGA partial reconfiguration, hardware description languages (HDLs) and Multi-Processor Systems-on-Chip (MPSoCs).