This video from Game Theory Online (http://www.game-theory-class.org) proves that truth-telling is a dominant strategy in a second-price auction. It features Kevin Leyton-Brown (UBC).