Project Summary

This is a two-year collaboration project financed by the NSF and RNP, involving the University of Illinois at Urbana-Champaign (USA), University of Michigan (USA) and Universidade Federal de Pernambuco (Brazil)

The goal of our project is to develop techniques and a system that enable a cross-layer analysis across the IoT app layer, network layer, and, when feasible, at device end-points. We will specifically focus on extracting flow policies from IoT apps and enforcing them or detecting their violations at lower layers, since compromise of devices or introduction of rogue devices can bypass defenses at higher layers.

Our expectation is that flows in IoT apps are (1) often going to be predictable and (2) expressive enough to capture important properties such that flow violations indicate real problems and not false alarms.

This project is divided into three thrusts:

Thrust 1: Specification and extraction of flow policies for IoT apps;

Thrust 2: Distributed enforcemement of flow policies;

Thrust 3: Evaluation and testing.

Our Team

José Augusto Suruagy

P.I Professor

UFPE

Marcelo d'Amorim

Professor

UFPE

Kiev Gama

Professor

UFPE

Paulo A. S. Gonçalves

Professor

UFPE

Darko Marinov

Professor

UIUC

Atul Prakash

Professor

UMICH

Davino Junior

MSc in Computer Science

UFPE

Luis Melo

MSc in Computer Science

UFPE

Richardson Bruno

MSc in Computer Science

UFPE

Ramon Maciel

MSc in Computer Science

UFPE

Samuel Jose Lima Ferreira

MSc in Computer Science

UFPE

Walber de Macedo Rodrigues

UROP in Computer Engineering

UFPE

Partners