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.

 

Cloud Spaces
Open service platform for the next generation of personal clouds
image: Project ESD ESD
Execution synthesis with no runtime overhead or program modifications
S2E
Analyzing the properties and behavior of large software systems
Sinergia
Trustworthy Cloud Storage — security, privacy and performance