JWE spec using Nimbus