Blockchain-Based Property Sukuk Models for the Indonesian Market | IEEE Conference Publication | IEEE Xplore