LogicFence: A Framework for Enforcing Global Integrity Constraints at Runtime | IEEE Conference Publication | IEEE Xplore