Towards effective preservation of robust safety properties-Reference-Cited by-同舟云学术

Towards effective preservation of robust safety properties

Published:2022-04-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing
language:
Short-container-title:

Author:

Busi Matteo¹,Degano Pierpaolo¹,Galletta Letterio²

Affiliation:

1. Pisa Univ., Pisa, Italy

2. IMT School for Advanced Studies, Lucca, Italy

Funder

Italian Ministry of University and Research

Publisher

ACM

Link

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

Reference35 articles.

1. Martín Abadi . 1999. Protection in Programming-Language Translations . In Secure Internet Programming, Security Issues for Mobile and Distributed Objects (LNCS) , J. Vitek and C.D. Jensen (Eds.), Vol. 1603 . Springer , 19--34. Martín Abadi. 1999. Protection in Programming-Language Translations. In Secure Internet Programming, Security Issues for Mobile and Distributed Objects (LNCS), J. Vitek and C.D. Jensen (Eds.), Vol. 1603. Springer, 19--34.

2. Carmine Abate , Roberto Blanco , Ştefan Ciobâcă , 2020 . Trace-Relating Compiler Correctness and Secure Compilation. In 29th European Symposium on Programming. 1--28 . Carmine Abate, Roberto Blanco, Ştefan Ciobâcă, et al. 2020. Trace-Relating Compiler Correctness and Secure Compilation. In 29th European Symposium on Programming. 1--28.

3. Carmine Abate , Roberto Blanco , Deepak Garg , 2019 . Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In 32nd IEEE Computer Security Foundations Symposium , 2019. 256--271. Carmine Abate, Roberto Blanco, Deepak Garg, et al. 2019. Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation. In 32nd IEEE Computer Security Foundations Symposium, 2019. 256--271.

4. Carmine Abate , Matteo Busi , and Stelios Tsampas . 2021 . Fully Abstract and Robust Compilation. In Asian Symposium on Programming Languages and Systems. Springer, 83--101 . Carmine Abate, Matteo Busi, and Stelios Tsampas. 2021. Fully Abstract and Robust Compilation. In Asian Symposium on Programming Languages and Systems. Springer, 83--101.

5. When Good Components Go Bad

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

1. From Low-Level Fault Modeling (of a Pipeline Attack) to a Proven Hardening Scheme;Proceedings of the 33rd ACM SIGPLAN International Conference on Compiler Construction;2024-02-17