SePEnTra: A secure and privacy-preserving energy trading mechanisms in transactive energy market | Arena Library | Arena