Browse by Person
Up a level |
Number of items: 1.
IEEE Transactions on Software Engineering
Gao, P. and Xie, H. and Sun, P. and Song, F. and Chen, Taolue (2020) Formal Verification of Masking Countermeasures for Arithmetic Programs. IEEE Transactions on Software Engineering , ISSN 0098-5589.