Johannes Müller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antón, Thomas Eisenbarth 0001, Dominik Stoffel, Wolfgang Kunz. A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level. In 58th ACM/IEEE Design Automation Conference, DAC 2021, San Francisco, CA, USA, December 5-9, 2021. pages 991-996, IEEE, 2021. [doi]
Abstract is missing.