Embedded devices are increasingly present in our everyday life. They often process critical
information, and hence, rely on cryptographic protocols to achieve security. However …

Non-functional properties, such as energy, time, and security (ETS) are becoming
increasingly important in Cyber-Physical Systems (CPS) programming. This article …

Refactoring is a common task in writing and maintaining software. Refactoring tools are
available for a wide variety of programming languages, and they are intended to transform …

Refactoring is a common task in writing and maintaining software. Refactoring tools are
available for a wide variety of program-ming languages, and they are intended to transform …

The increased digitalization of modern societies has resulted in a proliferation of a broad
spectrum of embedded devices, ranging from personal smartphones and heart pacemakers …

Iterative conditional branchings appear in various sensitive algorithms, like the modular
exponentiation in the RSA cryptosystem or the scalar multiplication in elliptic-curve …