Moving Processing to Data: From Big Data Applications to Emerging Near-Data Computation

Policy Compliance in Online Services

Towards Ultra-Reliable Cyber-Physical Systems: Reliability Analysis of Distributed Real-Time Systems

Modeling User Behavior on Socio-Technical Systems: Patterns and Anomalies

Securing Modern Systems

Robust algorithms against adversarial noise