There’s a reason Needham–Schroeder isn’t used any more – Tim Muller demonstrates the weakness in the technique.
This video was filmed and edited by Sean Riley.
Computer Science at the University of Nottingham: https://bit.ly/nottscomputer
Computerphile is a sister project to Brady Haran’s Numberphile. More at http://www.bradyharan.com