Lambda the Ultimate
- A Language-Based Approach to Security http://www.cs.cmu.edu/~rwh/papers.htm#langsec 0 comments general
- Automated Techniques for Provably Safe Mobile Code http://www.cs.cmu.edu/~rwh/papers.htm#certcomp 0 comments general
Linking pages
- GitHub - papers-we-love/papers-we-love: Papers from the computer science community to read and discuss. https://github.com/papers-we-love/papers-we-love 51 comments
- GitHub - ncb000gt/papers-we-love: Papers from the computer science community to read and discuss. https://github.com/ncb000gt/papers-we-love 0 comments
Related searches:
Search whole site: site:www.cs.cmu.edu
Search title: A Language-Based Approach to Security
See how to search.