Symmetric encryption is functional