I've been compiling a list of useful resources in a gist [1] for a while. It might give some background into the diverse areas of development and research.
[1] https://gist.github.com/halorgium/5623531 On Jul 24, 2013, at 7:00 AM, Andrew <[email protected]> wrote: > Putting security into languages has been a thing in PL for some time. Not > sure why more people don't know about it. > > Another fun thing is the TouchDevelop platform from MSR. They can do static > information flow tracking in user generated apps to put upfront warnings > about security and privacy concerns for arbitrary TouchDevelop programs (1). > I saw a demo at POPL12, it was pretty cool. > > 1: http://research.microsoft.com/apps/pubs/default.aspx?id=152507 > > On Jul 23, 2013, at 2:10 PM, Will Sargent <[email protected]> wrote: > >> So I was listening to a random podcast: >> >> http://scalatypes.com/episode-20-interview-with-benjamin-pierce >> >> and apparently there are security oriented languages: >> >> http://www.cis.upenn.edu/~stevez/sol/ >> >> that have fancy type checkers to do more to ensure secure distributed >> programming: >> >> http://research.microsoft.com/en-us/projects/fstar/ >> >> and it looks fascinating. >> >> Also reading up on object capability model and the Actor model -- I'm >> surprised it's not more popular. >> >> Will. >> _______________________________________________ >> langsec-discuss mailing list >> [email protected] >> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss > _______________________________________________ > langsec-discuss mailing list > [email protected] > https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss _______________________________________________ langsec-discuss mailing list [email protected] https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
