E-GRANT: Enforcing Encrypted Dynamic Security Constraints in the Cloud | IEEE Conference Publication | IEEE Xplore