Simple but Powerful Beginning: Metamorphic Verification Framework for Cryptographic Hardware Design.

Jianjun Xu, Jiang Wu, Jiayu He, Deheng Yang, Xiaoguang Mao

Browse the full ICPADS paper archive.