Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks.
Saved in:
| Title: | Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. |
|---|---|
| Authors: | Gao, Pengfei1, gaopengfei.se@bytedance.com, Song, Fu2, songfu@ios.ac.cn, Chen, Taolue3, t.chen@bbk.ac.uk |
| Source: | ACM Transactions on Software Engineering & Methodology; Mar2024, Vol. 33 Issue 3, p1-38, 38p |
| Database: | Applied Science & Technology Source |
| ISSN: | 1049331X |
|---|---|
| DOI: | 10.1145/3635707 |
