Toward automatic proof generation for information flow policies in third-party hardware IP | IEEE Conference Publication | IEEE Xplore