Bitcoin-Enhanced Proof-of-Stake Security: Possibilities and Impossibilities | IEEE Conference Publication | IEEE Xplore