SynAssert: automated synthesis of CSCA leakage patterns into cost-effective security assertionsAzarpeyvand, Ali Azarpeyvand; Eslami, Mohammad; Jervan, Gert; Raik, Jaan; Ghasempouri, TaraProceedings of 2025 IEEE Computer Society Annual Symposium on VLSI (ISVLSI)2025 / 6 p. : ill https://doi.org/10.1109/ISVLSI65124.2025.11130310 Conference proceedings at Scopus Article at Scopus Article at WOS