Project Tags: Systems, Networks and Cloud Computing

Unicellular: Towards ubiquitous and deployable context aware systems leveraging cellular infrastructures

The proliferation of various IoT devices equipped with a wide range of sensors, more powerful hardware, along with enhanced machine learning techniques, are all catalysts driving the development of various…

Smartedge: Towards deployable edge-based indoor context aware systems

We propose SmartEdge, an integrated architecture and system that leverages IoT devices, beyond the edge, to enable next generation deployable, compute intensive, and privacy preserving contextaware applications. SmartEdge will enable…

Internet of Things penetration testing lab

This proposal seeks to establish an Internet of Things (IoT) penetration testing lab at Carnegie Mellon University in Qatar. Our long-term intention is to help secure Qatar’s critical infrastructure by…

A distributed system for estimating triangle counts in graph streams

Counting triangles (i.e., cliques of size three) is a classical graph problem with many applications, including anomaly detection, community detection, and link recommendation. For triangle counting in large and dynamic…

Centrality measures on graphs

In studying networks (be they social networks, road networks, communication networks, etc.) one is often interested in measuring the relative importance of various nodes and arcs and identifying the most…

Optimizing blockchain scalability and sustainability: Layer 2 solutions and energy-efficient consensus mechanisms

Blockchain technology, while transformative, suffers from critical challenges related to scalability and energy consumption. This project aims to address these issues by developing novel methodologies for improving the energy efficiency…

Femtoqlouds: Leveraging edge resources to enable personalized and federated deep learning for mHealth applications

The rapidly spreading and smart mobile/IoT devices worldwide are generating a massive amount of data. This huge data has been both a motivation and a key enabler for Machine Learning…

Towards mobile opportunistic cloud computing: Enabling generic computational offloading to extreme heterogeneous entities

With lighter and smaller mobile devices replacing laptops and PC’s, the advent of wearable computing, and the resulting growth in mobile application market, mobile user expectations for pervasive computation and…

Automated verification of properties of concurrent, distributed and parallel specifications with applications to computer security

With NPRP project 09-1107-1-168 (ending in February 2014), we have outlined the foundations of a framework for representing Concurrent, Distributed and Parallel (CDP) languages and explored methodologies to formally prove…

The garbled computer: Towards computing without seeing

This proposal aims at the development of a new secure computer model called the Garbled Computer (GC). An adversary observing the computations of a GC learns nothing about what it…