evan_tech

Previous Entry Share Next Entry
05:45 pm, 13 May 05

x. leroy slides

Hottt:
A 7-hour lecture given at TECS Week 2005 by Xavier Leroy*.

This detailed set of slides explains various security models, and related attacks.
* Of O'Caml fame.