A trustworthy framework for resource-aware embedded programming

[PDF] st-andrews.ac.uk

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

C Brown, AD Barwell, Y Marquer, O Zendra… - Proceedings of the …, 2022 - dl.acm.org
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 …
被引用次数：6 相关文章 所有 14 个版本
[PDF] arxiv.org

The teamplay project: Analysing and optimising time, energy, and security for cyber-physical systems

B Rouxel, C Brown, E Ebeid, K Eder… - … , Automation & Test …, 2023 - ieeexplore.ieee.org
Non-functional properties, such as energy, time, and security (ETS) are becoming
increasingly important in Cyber-Physical Systems (CPS) programming. This article …
被引用次数：1 相关文章 所有 12 个版本
[PDF] st-andrews.ac.uk

Towards Specification-Guarded Refactoring

AD Barwell, C Brown, S Sarkar - … on Logic-Based Program Synthesis and …, 2024 - Springer
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 …
相关文章 所有 4 个版本

Towards Specification-Guarded

AD Barwell, C Brown, S Sarkar - Logic-Based Program Synthesis …, 2024 - books.google.com
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 …
相关文章