Cite
RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal.
MLA
Mahzoon, Alireza, et al. “RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, vol. 41, no. 5, May 2022, pp. 1573–86. EBSCOhost, https://doi.org/10.1109/TCAD.2021.3083682.
APA
Mahzoon, A., GroBe, D., & Drechsler, R. (2022). RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal. IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems, 41(5), 1573–1586. https://doi.org/10.1109/TCAD.2021.3083682
Chicago
Mahzoon, Alireza, Daniel GroBe, and Rolf Drechsler. 2022. “RevSCA-2.0: SCA-Based Formal Verification of Nontrivial Multipliers Using Reverse Engineering and Local Vanishing Removal.” IEEE Transactions on Computer-Aided Design of Integrated Circuits & Systems 41 (5): 1573–86. doi:10.1109/TCAD.2021.3083682.