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

Toward Supervised Autonomy: Enhancing Automation and Collaboration