Trusted Enforcement of Application-specific Security Policies Topics: Access Control; Security Engineering In Proceedings of the 18th International Conference on Security and Cryptography SECRYPT - Volume 1, 343-355, 2021