Authenticated Key Agreement with Key Re-Use in the Short Authenticated Strings Model

External Document