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

Will Sargent will.sargent at gmail.com
Tue Jul 23 18:10:03 UTC 2013


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. 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mail.langsec.org/pipermail/langsec-discuss/attachments/20130723/97b2aa31/attachment.html>


More information about the langsec-discuss mailing list