Mansoor Alicherry Angelos D. Keromytis DoubleCheck: Multi-path verification against man-in-the-middle attacks. 557-563 2009 ISCC http://dx.doi.org/10.1109/ISCC.2009.5202224 conf/iscc/2009 db/conf/iscc/iscc2009.html#AlicherryK09