Quantifying timing-based information flow in cryptographic hardware | IEEE Conference Publication | IEEE Xplore