FASER (Formal and Automatic Security Enforcement by Rewriting): An algebraic approach | IEEE Conference Publication | IEEE Xplore