TangoChain: A Lightweight Distributed Ledger for Internet of Things Devices in Smart Cities | IEEE Conference Publication | IEEE Xplore