*A Security Kernel Based on the Lambda Calculus* from 1996 (http://mumble.net/~j... | Hacker News

Hacker Timesnew | past | comments | ask | show | jobs | submit

ryukafalz on Dec 9, 2020 | parent | context | favorite | on: Ask HN: What's the best paper you've read in 2020?

A Security Kernel Based on the Lambda Calculus from 1996 (http://mumble.net/~jar/pubs/secureos/secureos.html)

I've been reading up on the object capability security model a lot recently, and was pointed to this paper... I was hooked. A really compelling security model almost from first principles.

ratmice on Dec 9, 2020 [–]

From this year I really liked the paper, Recovering Purity with Comonads and Capabilities, Vikraman Chaudhury and Neel Krishnaswami,

https://arxiv.org/abs/1907.07283

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact