Efficient Authenticated Key-Exchange for Devices with a Trusted Manager | IEEE Conference Publication | IEEE Xplore