Skip to main navigation Skip to search Skip to main content

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

13   Link opens in a new tab Citations (Scopus)

Fingerprint

Dive into the research topics of 'A Formal Approach to Confidentiality Verification in SoCs at the Register Transfer Level'. Together they form a unique fingerprint.
Sort by

Computer Science