密码实现安全形式化验证发展现状与展望

宋富

Status and Prospects of Formal Verification for Security of Cryptographic Implementations

SONG Fu

前瞻科技 . 2023, (1): 90 -105 . DOI: 10.3981/j.issn.2097-0781.2023.01.007