Model Compatibility - GaloisInc/AMIDOL GitHub Wiki
- Information-Flow Type System - Clarkson (Slides)
- Security Type System
- Type Systems for Information Flow Control: The Question of Granularity
- Chen, Hongxu, Alwen Tiu, Zhiwu Xu, and Yang Liu. "A permission-dependent type system for secure information flow analysis." arXiv preprint arXiv:1709.09623 (2017).
- Fortress Programming Language Tutorial
- Dataflow Analysis and Abstract Interpretation (Slides)
- Cousot, Patrick. "Types as abstract interpretations." In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 316-331. ACM, 1997.
- Nielson, Flemming, Hanne R. Nielson, and Chris Hankin. Principles of program analysis. Springer, 2015.
- Galois Connection - Wiki