A Center for Sustainable Cloud Computing

Trustworthy Platforms & Systems

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.

 

Code Sanitization for Vulnerability Pruning and Exploitation Mitigation
Automatic bug detection during development and protection of established software through reflective alleviations.
DICER
A recompilation pipeline.
Enhancing Security of FPGAs in the Cloud
Enhancing awareness about the security risks facing FPGAs, considering the role of FPGAs in cloud computing.
IoT-D
Towards Internets of Dialect-Speaking Things
MultiSan
The MultiSan project aims to improve software security testing.
Performance Contracts for Software Network Functions
Predict and scrutinize NF performance at fine granularities.
PriBots
The future of privacy using conversational bots.
PrivySeal
A privacy enhancing app store.
Revisiting Causal Consistency
The project will investigate Transactional Causal Consistency, which extends causal consistency.
Robustness of Biological Algorithms
A novel model for neural networks based on robustness techniques drawn from nature.
Transactional computing takes a big step forward Transactional Computing
Leveraging SQL for complex transactions on modern hardware platforms.
Verifying Software Network Functions with No Verification Expertise
Software network middleboxes that are guaranteed to be correct.
image: VigNAT VigNAT
Accelerating the development of a library of verified NF data structures