Luca Compagna, Ulrich Flegel, Volkmar Lotz: Towards Validating Security Protocol Deployment in the Wild. COMPSAC (2) 2009: 434-438