We are investigating technologies spanning from decentralized trust and cryptography to robustness and resiliency of natural processes to strengthen security, privacy and trust in data platforms and systems.

Automatic bug detection during development and protection of established software through reflective alleviations.

Enhancing awareness about the security risks facing FPGAs, considering the role of FPGAs in cloud computing.

Predict and scrutinize NF performance at fine granularities.

The project will investigate Transactional Causal Consistency, which extends causal consistency.

A novel model for neural networks based on robustness techniques drawn from nature.

Software network middleboxes that are guaranteed to be correct.