x. leroy slides
Hottt:
A 7-hour lecture given at TECS Week 2005 by Xavier Leroy*.* Of O'Caml fame.
This detailed set of slides explains various security models, and related attacks.