Semi-automatic ladderisation: improving code security through rewriting and dependent types-Reference-Cited by-同舟云学术

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

Published:2022-01-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation
language:
Short-container-title:

Author:

Brown Christopher¹^ORCID,Barwell Adam D.²^ORCID,Marquer Yoann³^ORCID,Zendra Olivier³^ORCID,Richmond Tania⁴^ORCID,Gu Chen⁵^ORCID

Affiliation:

1. University of St. Andrews, UK

2. University of St. Andrews, UK / Imperial College London, UK

3. Inria, France

4. Inria, France / DGA, France

5. Hefei University of Technology, China

Funder

Horizon 2020 Framework Programme

EPSRC

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3498886.3502202

Reference40 articles.

1. 2013. Digital Signature Standard (DSS). https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf FIPS PUB 186-4 U.S.Department of Commerce/National Institute of Standards and Technology. 2013. Digital Signature Standard (DSS). https://nvlpubs.nist.gov/nistpubs/FIPS/NIST.FIPS.186-4.pdf FIPS PUB 186-4 U.S.Department of Commerce/National Institute of Standards and Technology.

2. How Does Refactoring Impact Security When Improving Quality? A Security-Aware Refactoring Approach

3. Certificate size reduction in abstraction-carrying code

4. Recommendation for pair-wise key-establishment schemes using discrete logarithm cryptography

5. A trustworthy framework for resource-aware embedded programming

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Thwarting code-reuse and side-channel attacks in embedded systems;Computers & Security;2023-10

2. The TeamPlay Project: Analysing and Optimising Time, Energy, and Security for Cyber-Physical Systems;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04