Abacus: A Tool for Precise Side-Channel Analysis | IEEE Conference Publication | IEEE Xplore