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