F. Regazzoni, A. Fowler, and I. Polian. 2018 International Conference on Embedded Computer Systems : Architectures, Modeling, and Simulation (SAMOS XVIII), page 173-178. ACM, (2018)
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)