News for hackers. Stuff that matters.

A comment on The Nature of Lisp (2006). Parent comment

Re:The Nature of Lisp (2006) by agumonkey on Wednesday May 20, 2015 @10:53AM (#9576696)
I don't know what to Google ('lisp evaluator security' wasn't fruitful) but I'd love to see research on the subject.
[ Parent | on HN ]
Re:The Nature of Lisp (2006) by bitwize on Wednesday May 20, 2015 @11:09AM (#9576819)
Jonathan Rees's 1995 paper "A Security Kernel Based on the Lambda Calculus" was enlightening. Not only was it capability-based security in Scheme -- but capabilities are lambdas!

http://mumble.net/~jar/pubs/secureos/

[ Parent | on HN ]
Re:The Nature of Lisp (2006) by agumonkey on Wednesday May 20, 2015 @11:45AM (#9577085)
Ha, I knew it. Lambda the ultimate everything.
[ Parent | on HN ]