A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level

Johannes Muller, Mohammad Rahmani Fadiheh, Anna Lena Duque Anton, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz