APA (7th ed.) Citation

Eldib, H., Wang, C., & Schaumont, P. (2014). Formal Verification of Software Countermeasures against Side-Channel Attacks. ACM transactions on software engineering and methodology, 24(2), 1-24. https://doi.org/10.1145/2685616

Chicago Style (17th ed.) Citation

Eldib, Hassan, Chao Wang, and Patrick Schaumont. "Formal Verification of Software Countermeasures Against Side-Channel Attacks." ACM Transactions on Software Engineering and Methodology 24, no. 2 (2014): 1-24. https://doi.org/10.1145/2685616.

MLA (9th ed.) Citation

Eldib, Hassan, et al. "Formal Verification of Software Countermeasures Against Side-Channel Attacks." ACM Transactions on Software Engineering and Methodology, vol. 24, no. 2, 2014, pp. 1-24, https://doi.org/10.1145/2685616.