Port of encrypted tokens from IOTK.