[langsec-discuss] Security oriented language links (short)

Tim Carey-Smith lists at halorgium.net
Tue Jul 23 23:55:48 UTC 2013


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 <munin at mimisbrunnr.net> 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 <will.sargent at gmail.com> 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
>> langsec-discuss at mail.langsec.org
>> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss
> _______________________________________________
> langsec-discuss mailing list
> langsec-discuss at mail.langsec.org
> https://mail.langsec.org/cgi-bin/mailman/listinfo/langsec-discuss



More information about the langsec-discuss mailing list