R. Sengupta, I. Polian, and J. Hayes. 2022 25th International Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS), page 124-129. Piscataway, IEEE, (2022)
B. Karp, M. Gay, O. Keren, and I. Polian. PROOFS 2018 : 7th International Workshop on Security Proofs for Embedded Systems, 7, page 68-82. EasyChair Publications, (2018)