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

Johannes Mller, Mohammad Rahmani Fadiheh, Anna Lena Duque Antn, Thomas Eisenbarth, Dominik Stoffel, Wolfgang Kunz

Browse the full DAC paper archive.