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