Papers
	Home   |   About   |   Technology   |   Papers   |   Contact
	E in a Walnut by Marc Stiegler Tutorial book on the E programming language. An Ode to the Granovetter Diagram by Mark Miller, Chip Morningstar, and Bill Frantz Also known as Capability-based Financial Instruments. Explains the rationale for E from lambda-calculus concepts up through Smart Contracts. To appear in the Proceedings of Financial Cryptography 2000, Springer Verlag. Capability Myths Demolished by Mark Miller, Ka-Ping Yee, and Jonathan Shapiro gives a brief history of how capabilities have been misunderstood, and sets the record straight. User Interaction Design for Secure Systems by Ka-Ping Yee. To appear in the Proceeding of the 4th International Conference on Information and Communications Security. Berkeley University Tech Report CSD-02-1184. CapDesk follows these principles rather closely. A Security Analysis of the Combex DarpaBrowser Architecure by David Wagner and Dean Tribble This Darpa-sponsored security review includes an analysis of E and the CapDesk caplet launching framework. A Capability Based Client: The DarpaBrowser by Marc Stiegler and Mark Miller Our final report to Darpa for the DarpaBrowser project. The Digital Path: Smart Contracts and the Third World by Mark Miller and Marc Stiegler To appear in the Proceedings of Austrian Perspectives on the New Economy, 2001. Auditors: An Extensible, Dynamic Code Verification Mechanism by Ka-Ping Yee and Mark S. Miller E breaks yet more new ground in language-based security.