distributed systems

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

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

Ibrahim Abdelaziz obtained his Ph.D. degree in Computer Science under the supervision of Professor Panagiotis Kalnis from King Abdullah University of Science and Technology (KAUST). Research Interests Ibrahim Abdelaziz's research interests included Data Mining over large datasets, Distributed Systems, Machine Learning and Pattern Recognition. 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

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

Ali Shoker

Senior Research Scientist, Computer Science
I am a Senior Staff Scientist, working on Cyber Security and Resilience. My research is focused on studying and using Byzantine and Intrusion Fault tolerance, Hardware (FPGA), Artificial Intelligence, and Blockchain, for critical applications like Autonomous Vehicles, Small Satellite constellations, SOC, and Fintech. I love and plan to build practical things that manifest in the society.