secure properties

[thmarx]

because we sometimes store security related stuff inside the properties, we should think about using secure properties: https://github.com/brabenetz/secured-properties