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
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ langsec-discuss mailing list [email protected] https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
