A verified information-flow architecture-Reference-Cited by-同舟云学术

A verified information-flow architecture

Published:2014-01-08 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
language:
Short-container-title:

Author:

Azevedo de Amorim Arthur¹,Collins Nathan²,DeHon André¹,Demange Delphine¹,Hriţcu Cătălin³,Pichardie David⁴,Pierce Benjamin C.¹,Pollack Randy⁵,Tolmach Andrew²

Affiliation:

1. University of Pennsylvania, Philadelphia, PA, USA

2. Portland State University, Portland, OR, USA

3. University of Pennsylvania and INRIA, Philadelphia, PA, USA

4. Harvard University and INRIA, Cambridge, MA, USA

5. Harvard University, Cambridge, MA, USA

Publisher

ACM

Link

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

Reference47 articles.

1. Termination-Insensitive Noninterference Leaks More Than Just a Bit

2. Tight Enforcement of Information-Release Policies for Dynamic Languages

3. Efficient purely-dynamic information flow analysis

4. Stack-based access control and secure information flow

5. G. Barthe D. Pichardie and T. Rezk. A certified lightweight noninterference Java bytecode verifier. ESOP. 2007. G. Barthe D. Pichardie and T. Rezk. A certified lightweight noninterference Java bytecode verifier. ESOP. 2007.

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

1. A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity;2023 IEEE 36th Computer Security Foundations Symposium (CSF);2023-07

2. MUTAGEN: Reliable Coverage-Guided, Property-Based Testing using Exhaustive Mutations;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

3. Survey of Approaches and Techniques for Security Verification of Computer Systems;ACM Journal on Emerging Technologies in Computing Systems;2023-01-19

4. TAG: Tagged Architecture Guide;ACM Computing Surveys;2022-12-07

5. Property-Based Testing: Climbing the Stairway to Verification;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29