Encoding DCC in Haskell-Reference-Cited by-同舟云学术

Encoding DCC in Haskell

Published:2017-10-30 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security
language:
Short-container-title:

Author:

Algehed Maximilian¹,Russo Alejandro¹

Affiliation:

1. Chalmers University of Technology, Göteborg, Sweden

Funder

Vetenskapsrådet

Horizon 2020

Publisher

ACM

Link

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

Reference15 articles.

1. A core calculus of dependency

2. Thomas H. Austin Cormac Flanagan and Martín Abadi. 2012. A Functional View of Imperative Information Flow. Lecture Notes in Computer Science (2012) 34--49. 1007/978--3--662--49498--1_26 Thomas H. Austin Cormac Flanagan and Martín Abadi. 2012. A Functional View of Imperative Information Flow. Lecture Notes in Computer Science (2012) 34--49. 1007/978--3--662--49498--1_26

3. Naokata Shikuma and Atsushi Igarashi 2008. Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Logical Methods in Computer Science Vol. 4 3 (2008). Naokata Shikuma and Atsushi Igarashi 2008. Proving Noninterference by a Fully Complete Translation to the Simply Typed Lambda-Calculus. Logical Methods in Computer Science Vol. 4 3 (2008).

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

1. Evolution of a haskell repository and its use of monads;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25

2. Dynamic IFC Theorems for Free!;2021 IEEE 34th Computer Security Foundations Symposium (CSF);2021-06

3. Giving semantics to program-counter labels via secure effects;Proceedings of the ACM on Programming Languages;2021-01-04

4. Mechanized logical relations for termination-insensitive noninterference;Proceedings of the ACM on Programming Languages;2021-01-04

5. On the expressiveness and semantics of information flow types;Journal of Computer Security;2020-02-04