DoubleCheck: Multi-path verification against man-in-the-middle attacks | IEEE Conference Publication | IEEE Xplore