Securing systems against side-channel attacks. We have two post-doc positions open in this project starting Feb, 2019.
Verification and validation of Robotics Safety and Security.
Validation and Verification of AI/ML-based Systems.
Validation, Verification and Optimization of Software and Systems Performance.
Memory Safety of Cyber-physical Systems, IIoT Security Testing and Countermeasures.