Cache Refinement Type for Side-channel Detection of Cryptographic SoftwarePublished in CCS, 2022arXiv Twitter Facebook LinkedIn Previous Next