A trustworthy framework for resource-aware embedded programming

Barwell, Adam D.; Brown, Christopher

doi:10.1145/3412932.3412944

Cited by 3 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Similarly, the Non-functional Properties Contract System [15], [16] formally proves, using dependent types, that both energy and time budgets as well as the security risk of…”

Section: A the Teamplay Methodology For Predictable Architecturesmentioning

confidence: 96%

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2023

View full text Add to dashboard Cite

Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important for the programming of Cyber-Physical Systems (CPS). This paper describes TeamPlay, a research project funded under the EU Horizon 2020 programme between January 2018 and June 2021. TeamPlay aimed to provide the system designer with a toolchain for developing embedded applications where ETS properties are first-class citizens, allowing the developer to reflect directly on energy, time and security properties at the source code level. In this paper we give an overview of the TeamPlay methodology, introduce the challenges and solutions of our approach and summarise the results achieved. Overall, applying our TeamPlay methodology led to an improvement of up to 18% performance and 52% energy usage over traditional approaches.

show abstract

“…Similarly, the Non-functional Properties Contract System [15], [16] formally proves, using dependent types, that both energy and time budgets as well as the security risk of…”

Section: A the Teamplay Methodology For Predictable Architecturesmentioning

confidence: 96%

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2023

View full text Add to dashboard Cite

show abstract

Semi-automatic ladderisation: improving code security through rewriting and dependent types

Brown

Barwell

Marquer

et al. 2022

Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

Cyber attacks become more and more prevalent every day. One type of cyber attack is known as a side channel attack, where attackers exploit information leakage from the physical execution of a program, e.g. timing or power leakage, to uncover secret information, such as encryption keys or other sensitive data. There have been various attempts at addressing the problem of preventing side-channel attacks, often relying on various measures to decrease the discernibility of several code variants or code paths. Most techniques require a high-degree of expertise by the developer, who often employs ad hoc, hand-crafted code-patching in an attempt to make it more secure. In this paper, we take a different approach: building on the idea of ladderisation, inspired by Montgomery Ladders. We present a semi-automatic toolsupported technique, aimed at the non-specialised developer, which refactors (a class of) C programs into functionally (and even algorithmically) equivalent counterparts with improved security properties. Our approach provides refactorings that transform the source code into its ladderised equivalent, driven by an underlying verified rewrite system, based on dependent types. Our rewrite system automatically finds rewritings of selected C expressions, facilitating the production of their equivalent ladderised counterparts for a subset of C. We demonstrate our approach on a number of representative examples from the cryptographic domain, showing increased security.

show abstract

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems

Rouxel,

Brown,

Ebeid

et al. 2023

2023 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition (DATE)

Self Cite

View full text Add to dashboard Cite

Non-functional properties, such as energy, time, and security (ETS) are becoming increasingly important in Cyber-Physical Systems (CPS) programming. This article describes TeamPlay, a research project funded under the EU Horizon 2020 programme between January 2018 and June 2021. TeamPlay aimed to provide the system designer with a toolchain for developing embedded applications where ETS properties are first-class citizens, allowing the developer to reflect directly on energy, time and security properties at the source code level. In this paper we give an overview of the TeamPlay methodology, introduce the challenges and solutions of our approach and summarise the results achieved. Overall, applying our TeamPlay methodology led to an improvement of up to 18% performance and 52% energy usage over traditional approaches.

show abstract

A trustworthy framework for resource-aware embedded programming

Cited by 3 publications

References 31 publications

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Semi-automatic ladderisation: improving code security through rewriting and dependent types

The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems

Contact Info

Product

Resources

About