research
∙
04/26/2023
Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems
Embedded devices are increasingly present in our everyday life. They oft...
share
research
∙
09/28/2022
Verifying Safety of Behaviour Trees in Event-B
Behavior Trees (BT) are becoming increasingly popular in the robotics co...
research
∙
07/06/2022
Securing Optimized Code Against Power Side Channels
Side-channel attacks impose a serious threat to cryptographic algorithms...
research
∙
12/19/2019
Online Path Generation and Navigation for Swarms of UAVs
With the growing popularity of Unmanned Aerial Vehicles (UAVs) for consu...
research
∙
05/15/2018
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Role-Based Access Control (RBAC) is a popular authorization model used t...
research
∙
05/15/2018
Securing Open Source Clouds Using Models
The widespread adoption of cloud computing has resulted in the prolifera...
research
∙
05/12/2018
