distributed systems

A blindfold approach improves machine learning privacy

1 min read ·
A query-based method for extracting knowledge from sensitive datasets without showing any underlying private data could resolve long-standing privacy concerns in machine learning.

Useful Bitcoin Mining with a Matrix-based Puzzle

Cryptocurrency and blockchain technologies are increasingly gaining adoption since the introduction of Bitcoin, being distributed, authority-free, and secure. Proof of Work (PoW) is at the heart of blockchain’s security, asset generation, and maintenance. In most cryptocurrencies, and mainly Bitcoin, the “work” a miner must do is to solve a cryptographic puzzle: to find a random nonce that once (cryptographically) SHA-256 hashed with a perspective block header, returns a 32 Bytes number having a leading pre-defined number of zeros (called difficulty). This puzzle represents the PoW, and lives

Breaking the Vehicle Over-The-Air Update System

A modern vehicle is composed of around 100 Electronic Control Unit (ECU) connected via several types of networks. An ECU is an embedded device, similar to a RaspberryPI, running an operating system, e.g., Linux-based or real-time OS, on top of which different software and firmware may run, depending on the application. Due to the imperfection of humans, software can have faults and vulnerabilities, which can lead to catastrophic failures that threatens human lives. This makes the manufacturers liable to such failures and thus often caused millions of vehicles recalls for repair. A smart

Distributed Robotics

-

KAUST

This talk presents an overview of challenges, state-of the-art, and applications for distributed robotic systems. In distributed robotic systems, there is a group of robots that seek to achieve a collective task. Applications include environmental monitoring, search and rescue, and programmable self-assembly. Settings can range from a small team of cooperative robots to a swarm of many interacting agents. An essential feature of such systems is that individual robots make decisions based on available local information as well as limited communications with other robots. The challenge is to design local protocols that result in desired global outcomes. In contrast to a traditional centralized paradigm, both measurements and decisions are distributed among multiple actors.

An Overview of Systems Research at TU Munich

-

B4 L5 R5209

In this talk, Professor Pramod Bhatotia will give an overview of systems research at TU Munich. He will cover his teaching and ongoing research projects. And will conclude the talk with a brief overview of his ERC project.

Cocoon finally out: Professor Marco Canini together with VMware, Samsung, and Microsoft craft the ultimate SDN ally

1 min read ·
With the recent emergence of software-defined networking, which brings programmability and lowers the barrier for new functionalities into networks, the academic and industry communities have become very interested in the problem of network verification.

Yousif Aldolaijan

Yousif Aldolaijan was a Computer Science Master student under the supervision of Prof. Ivan Viola at the Visual Computing Center (VCC) at King Abdullah University of Science and Technology (KAUST). Education and Early Career Yousif received his bachelor’s degree in Computer Science at the University of Southern California (USC), Los Angeles, USA in 2018. He joined KAUST to continue his studies in Computer Science and received his Master's degree in Computer Science from KAUST in 2020. During the summer of 2018, he joined Google as a Software Engineering Intern for three months. He worked on

Marco Canini

Associate Professor, Computer Science
Professor Canini’s research seeks to improve networked-system design, implementation and operation concerning vital properties such as reliability, performance, security and energy efficiency.

Ibrahim Abdelaziz

Senior Research Scientist, IBM
Selected Publications Using Advanced Hidden Markov Models for online handwriting recognition. Ibrahim Hosny, Sherif Abdou, Aly Fahmy In Proceeding of Asian Conference of Pattern Recognition (ACPR), (2011) Large Vocabulary Arabic Online Handwriting Recognition. Ibrahim Hosny, Sherif Abdou, Aly Fahmy International Journal on Document Analysis and Recognition, (2014) Artificial Tutor for Arabic Handwriting Training. Sherif Abdou, Aly Fahmy, Ibrahim Hosny, Eman Mostafa In Proceedings of the Second International Conference on Arabic Language Resource, (2009) Education Profile 2013 - 2018: PhD

Elmootazbellah Elnozahy

Professor (former), Computer Science
Elmootazbellah (Mootaz) Elnozahy is a renowned computer scientist who has filed, individually and with colleagues, 58 U.S. patents. He has successfully secured research and development funding grants of ~$320M.

Asaad S. Alghamdi

Arnaud Dethise

Ph.D. Student, Computer Science
Arnaud Dethise is a PhD candidate in Computer Science under the guidance of Professor Marco Canini. He completed his Bachelor's degree in Engineering and Master's degree in Computer Science in 2015 and 2017 respectively, from UCLouvain, Louvain-la-Neuve, Belgium. Arnaud has a strong interest in machine learning applied to distributed systems and is currently pursuing his doctoral research in this field. His specific research interests include Neural Networks, trustworthiness, verifiability and explainability, and model privacy, with a focus on exactness and provable guarantees. Arnaud’s goals

Amedeo Sapio

Amedeo Sapio has MS and PhD degree both in Computer Engineering from Politecnico di Torino, Italy. He is a Postdoctoral Research Fellow at Extreme Computing Research Center (ECRC) in King Abdullah University of Science and Technology (KAUST), working with Professor Marco Canini in his research group. Research Interests ​Amedeo Sapio's research is focused on high-speed packet processing in large scale networked computer systems, data center networks, software defined networking and innovative network services. Education Profile ​Ph.D. Politecnico di Torino, Italy, 2014-2018 M.Sc. Computer

Ali Shoker

Research Associate Professor, Computer Science
Ali Shoker, a Research Associate Professor at KAUST, explores Byzantine fault tolerance, AI, and blockchain to create practical solutions for autonomous vehicles, fintech, and satellite systems.