Projects

Ako
Ako
Decentralised Deep Learning
ASIA
ASIA
Adaptive Publish/Subscribe Systems
CloudSafetyNet
CloudSafetyNet
End-to-End Cloud Security
HARNESS
HARNESS
Heterogeneous Cloud Computing
ITA-DSM
ITA-DSM
Mobile Stream Processing
MDF
MDF
Meta-Dataflows
MobiCloud
MobiCloud
Mobile Edge Computing
Multicore-FSM
Multicore-FSM
Parallel Finite State Machines
NaaS
NaaS
Application-Specific Network Services
SABER
SABER
Hybrid Stream Processing
SEEP
SEEP
Stateful Big Data Processing
SeReCa
SeReCa
Hardware-Assisted Cloud Security

Past Projects

CloudFilter
CloudFilter
Confinement of Sensitive Data
DISSP
DISSP
Dependable Stream Processing Systems
SmartFlow
SmartFlow
Secure Event-Based Middleware
SymNV
SymNV
Symbolic Network Verification
Ukairo
Ukairo
Scalable Internet Detouring