Our paper on verifying practical security architecture implementations using information flow, titled “Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis”, is accepted for publication at ASPLOS 2017.
A paper on verifying hardware security architecture will appears at ASPLOS 2017