Adrian Perrig, Carnegie Mellon University