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

A verified information-flow architecture

Published:2016-12-01 Issue:6 Volume:24 Page:689-734
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

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. Galois Inc, Portland, OR, USA

3. Université Rennes 1/IRISA, Rennes, France

4. INRIA, Paris, France

5. ENS Rennes/IRISA, Rennes, France

6. Harvard University, Boston, MA, USA

7. Portland State University, Portland, OR, USA

Publisher

IOS Press

Subject

Computer Networks and Communications,Hardware and Architecture,Safety, Risk, Reliability and Quality,Software

Reference91 articles.

1. A. Askarov, S. Hunt, A. Sabelfeld and D. Sands, Termination-insensitive noninterference leaks more than just a bit, in: 13th European Symposium on Research in Computer Security (ESORICS), Malaga, Spain, October 2008, LNCS, Vol. 5283, Springer-Verlag, 2008.

2. A. Askarov and A. Sabelfeld, Tight enforcement of information-release policies for dynamic languages, in: 22nd IEEE Computer Security Foundations Symposium (CSF), IEEE Computer Society, 2009, pp. 43–59.

3. A. Askarov, D. Zhang and A.C. Myers, Predictive black-box mitigation of timing channels, in: 17th ACM Conference on Computer and Communications Security, ACM, 2010, pp. 297–307.

4. Efficient purely-dynamic information flow analysis

5. T.H. Austin and C. Flanagan, Permissive dynamic information flow analysis, in: Proceedings of the 5th Workshop on Programming Languages and Analysis for Security, PLAS, ACM, 2010, pp. 3:1–3:12.

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

1. Flexible Runtime Security Enforcement with Tagged C;Runtime Verification;2023

2. Verified Security for the Morello Capability-enhanced Prototype Arm Architecture;Programming Languages and Systems;2022

3. StkTokens: Enforcing well-bracketed control flow and stack encapsulation using linear capabilities;Journal of Functional Programming;2021

4. Linear capabilities for fully abstract compilation of separation-logic-verified code;Journal of Functional Programming;2021

5. CoCon: A Conference Management System with Formally Verified Document Confidentiality;Journal of Automated Reasoning;2020-07-16