10 citations · 20 across the 8 of their papers we have counts for
9 papers
Thwarting Code-Reuse and Side-Channel Attacks in Embedded Systems
Rodothea Myrsini Tsoupidi, Elena Troubitsyna, Panagiotis Papadimitratos
Embedded devices are increasingly present in our everyday life. They often process critical information, and hence, rely on cryptographic protocols to achieve security. However, em…
Verifying Safety of Behaviour Trees in Event-B
Matteo Tadiello, Elena Troubitsyna
Behavior Trees (BT) are becoming increasingly popular in the robotics community. The BT tool is well suited for decision-making applications allowing a robot to perform complex beh…
Securing Optimized Code Against Power Side Channels
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano, Elena Troubitsyna +1
Side-channel attacks impose a serious threat to cryptographic algorithms, including widely employed ones, such as AES and RSA. These attacks take advantage of the algorithm impleme…
Online Path Generation and Navigation for Swarms of UAVs
Adnan Ashraf, Amin Majd, Elena Troubitsyna
With the growing popularity of Unmanned Aerial Vehicles (UAVs) for consumer applications, the number of accidents involving UAVs is also increasing rapidly. Therefore, motion safet…
Towards Integrated Modelling of Dynamic Access Control with UML and Event-B
Inna Vistbakka, Elena Troubitsyna
Role-Based Access Control (RBAC) is a popular authorization model used to manage data-access constraints in a wide range of systems. RBAC usually defines the static view on the acc…
Securing Open Source Clouds Using Models
Irum Rauf, Elena Troubitsyna
The widespread adoption of cloud computing has resulted in the proliferation of open source cloud computing frameworks that give more control to enterprises over their data and net…