devices property
The devices is a map from user id to device id to if the device is blocked. This way we can easily know if a new user is added, leaves, a new devices is added, and, very importantly, if we block a device. These are all important for determining if/when an outbound session needs to be rotated.
Implementation
Map<String, Map<String, bool>> devices = {};