Formal verification of taint-propagation security properties in a commercial SoC design | IEEE Conference Publication | IEEE Xplore