Khitam M. Alatoun, Shanmukha Murali Achyutha, Ranga Vemuri. Efficient Methods for SoC Trust Validation Using Information Flow Verification. In 39th IEEE International Conference on Computer Design, ICCD 2021, Storrs, CT, USA, October 24-27, 2021. pages 608-616, IEEE, 2021. [doi]
Abstract is missing.