Research Projects

Side-channel Freedom

Securing systems against side-channel attacks. We have two post-doc positions open in this project starting Feb, 2019.

Read more »

Trustworthy Robots

Verification and validation of Robotics Safety and Security.

Read more »

AI Safety and Security

Validation and Verification of AI/ML-based Systems.

Read more »

Fast Software and Systems

Validation, Verification and Optimization of Software and Systems Performance.

Read more »

CPS/IoT Security

Memory Safety of Cyber-physical Systems, IIoT Security Testing and Countermeasures.

Read more »