Proving Flow Security of Sequential Logic via Automatically-Synthesized Relational Invariants | IEEE Conference Publication | IEEE Xplore