Cite
MLA Citation
Maoyuan Qin et al.. “Theorem proof based gate level information flow tracking for hardware security verification.” Computers & security, no. 85, 2019, pp. 225–239. http://access.bl.uk/ark:/81055/vdc_100086506049.0x000047
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Maoyuan Qin et al.. “Theorem proof based gate level information flow tracking for hardware security verification.” Computers & security, no. 85, 2019, pp. 225–239. http://access.bl.uk/ark:/81055/vdc_100086506049.0x000047