'David walker princeton university' presentation slideshows

On Cosmic Rays, Bat Droppings and what to do about them

481 views • 40 slides

Modular Program Monitors

Modular Program Monitors. David Walker Princeton University (joint work with Lujo Bauer and Jay Ligatti). Program Monitors. A program monitor is a coroutine that runs in parallel with an untrusted application monitors process security-relevant actions

360 views • 21 slides

An Introduction to Proof-Carrying Code

An Introduction to Proof-Carrying Code. David Walker Princeton University (slides kindly donated by George Necula; modified by David Walker). extensible systems. extension. host. Motivation. Extensible systems can be more flexible and more efficient than client-server interaction.

373 views • 20 slides