ProverNG: Efficient Verification of Compositional Masking for Cryptosystem's Side-Channel Security.

Yiming Yang, Feng Zhou, Yuanyuan Wang, Hua Chen, Limin Fan, An Wang

Browse the full ICICS paper archive.