waving android

I am currently a software engineer at Google, where as a member of the Android platform team I build frameworks and user interfaces.

The blog here at is mostly historical; you can find more recent posts on .

Capabilities-based security with the lambda calculus

May 21st, 2004



MIT: A Security
Kernel Based on the Lambda-Calculus
(1995). [Procedure + environment
= closure → capabilities model.]

newer: older: