Cache Refinement Type for Side-channel Detection of Cryptographic Software

Published in CCS, 2022

arXiv