Luca Compagna Ulrich Flegel Volkmar Lotz Towards Validating Security Protocol Deployment in the Wild. 434-438 2009 COMPSAC (2) https://doi.org/10.1109/COMPSAC.2009.172 https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2009.172 conf/compsac/2009-2 db/conf/compsac/compsac2009-2.html#CompagnaFL09