Efficient and Verifiable Skyline Computation on Blockchain System with Merkle B+ Tree Index | IEEE Conference Publication | IEEE Xplore