Hardening Permissioned Blockchains with Verifiable Randomness | IEEE Conference Publication | IEEE Xplore