Hyperflow Graphs of OpenTitan's OTP Memory Controller
Part a) shows the hyperflow graph for the OTP controller which contains 11,579 vertices (i.e., registers) and 32,084 edges (i.e., potential information flows). Of these 32,084 edges, 27,218 are explicit flows (shown in Part b)) and 4,866 are implicit flows (shown in Part c)). Part d) shows the path through which information from the OTP scrambler asset RndCnstKey leaked to the output of the OTP controller (otp_lc_data_o.test_unlock_token) during an IFT simulation. Interactive versions of these hyperflow graphs are accessible at hyperflowgraphs.com for enhanced viewing and exploration.