Figure out what subset of security properties can be made compositional, and then enforced/proved by compiler - Githubissues

dhh1128 / intent

the intent formal language

https://intentlang.org

2 stars 1 forks source link

Figure out what subset of security properties can be made compositional, and then enforced/proved by compiler #88

Open dhh1128 opened 9 years ago

dhh1128 commented 9 years ago

See this paper at CMU: http://www.cs.cmu.edu/~dg/papers/sp2010-preprint.pdf