VENUS: Verifiable range query in data streaming | IEEE Conference Publication | IEEE Xplore