When Good Components Go Bad-Reference-Cited by-同舟云学术

When Good Components Go Bad

Published:2018-01-15 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Abate Carmine¹,Azevedo de Amorim Arthur²,Blanco Roberto³,Evans Ana Nora⁴,Fachini Guglielmo³,Hritcu Catalin³,Laurent Théo⁵,Pierce Benjamin C.⁶,Stronati Marco³,Tolmach Andrew⁷

Affiliation:

1. Inria Paris & University of Trento, Paris, France

2. Carnegie Mellon University, Pittsburgh, PA, USA

3. Inria Paris, Paris, France

4. Inria Paris & University of Virginia, Charlottesville, VA, USA

5. Inria Paris & ENS Paris, Paris, France

6. University of Pennsylvania, Philadelphia, PA, USA

7. Portland State University, Portland, OR, USA

Funder

National Science Foundation

European Research Council

Defense Advanced Research Projects Agency

Publisher

ACM

Link

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

Reference83 articles.

1. Secure Implementation of Channel Abstractions

2. On Layout Randomization for Arrays and Functions

3. On Protection by Layout Randomization

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

1. Securing Verified IO Programs Against Unverified Code in F*;Proceedings of the ACM on Programming Languages;2024-01-05

2. Towards End-to-End Verified TEEs via Verified Interface Conformance and Certified Compilers;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

3. SecureCells: A Secure Compartmentalized Architecture;2023 IEEE Symposium on Security and Privacy (SP);2023-05

4. SecureCells: A Secure Compartmentalized Architecture;P IEEE S SECUR PRIV;2023

5. Two Parametricities Versus Three Universal Types;ACM Transactions on Programming Languages and Systems;2022-09-21