I2C Information Flow Tracking using SecVerilog HDL. NonInterference proven I2C Master.
-
Updated
Mar 17, 2018 - C++
I2C Information Flow Tracking using SecVerilog HDL. NonInterference proven I2C Master.
To associate your repository with the secverilog topic, visit your repo's landing page and select "manage topics."