A Security Kernel Based on the Lambda-Calculus

The dissertation (MIT 1995) consisted of a 50-page main part (written last) consisting of 4 chapters, followed by 80 pages of appendices, all of which had been published previously as papers or memos:

Here are versions of the main body:

I think I used the term "authentication" incorrectly in this paper.

What the critics say

Related sites

-- Jonathan Rees