Milton Posner, for the Khoury College of Computer Science, details how “A Formal Analysis of Karn’s Algorithm,” a paper written by professor Cristina Nita-Rotaru, PhD. student Max von Hippel, and “Lenore Zuck at the University of Illinois Chicago, and Ken McMillan at the University of Texas at Austin,” has won a best paper award for its exploration of a protocol important to the basic functioning of the internet.