arXiv cs.CR·11d agoGAUGE: A Formal Framework for Measuring Cryptographic Security under Heterogeneous Adversary Cost Models#aes#cost-model#cryptographyResearch