In December 2004, at the celebration of Dan Friedman's 60th birthday, I gave a talk about our work on Web verification. The beginning of the talk is, unfortunately, slightly truncated, but the paper provides enough context.

Special thanks to William Byrd who, after the initial video was lost (because Google abandoned Google Video), kindly got the DVD of the event from Dan Friedman and uploaded the video to YouTube. Thanks, Will!

Here is the talk.