Paragon – Practical programming with information flow control-Reference-Cited by-同舟云学术

Paragon – Practical programming with information flow control

Published:2017-07-10 Issue:4-5 Volume:25 Page:323-365
ISSN:1875-8924
Container-title:Journal of Computer Security
language:
Short-container-title:JCS

Author:

Broberg Niklas¹,van Delft Bart²,Sands David¹

Affiliation:

1. Department of Computer Science and Engineering, Chalmers University of Technology, Gothenburg, Sweden. E-mails: niklas.broberg@chalmers.se, dave@chalmers.se

2. Google, Zürich, Switzerland

Publisher

IOS Press

Subject

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

Reference51 articles.

1. J. Aldrich, J. Sunshine, D. Saini and Z. Sparks, Typestate-oriented programming, in: OOPSLA Companion, 2009, pp. 1015–1022.

2. A. Almeida Matos and G. Boudol, On declassification and the non-disclosure policy, in: Proc. IEEE Computer Security Foundations Workshop, 2005, pp. 226–240.

3. A. Askarov and A. Sabelfeld, Security-typed languages for implementation of cryptographic protocols: A case study, in: Proc. European Symp. on Research in Computer Security, Lecture Notes in Computer Science, Vol. 3679, Springer-Verlag, 2005.

4. D. Aspinall, Subtyping with singleton types, in: Computer Science Logic: 8th Workshop, CSL ’94, Springer-Verlag, 1995, pp. 1–15.

5. M.Y. Becker, C. Fournet and A.D. Gordon, Design and semantics of a decentralized authorization language, in: Proc. IEEE Computer Security Foundations Symposium, IEEE Computer Society, 2007, pp. 3–15.

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

1. IFCIL: An Information Flow Configuration Language for SELinux;2022 IEEE 35th Computer Security Foundations Symposium (CSF);2022-08

2. ANOSY: approximated knowledge synthesis with refinement types for declassification;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

3. Dynamic Policies Revisited;2022 IEEE 7th European Symposium on Security and Privacy (EuroS&P);2022-06

4. Automatic Annotation of Confidential Data in Java Code;Foundations and Practice of Security;2022

5. Scooter & Sidecar: a domain-specific approach to writing secure database migrations;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18