EVRQ: Achieving Efficient and Verifiable Range Query over Encrypted Traffic Data | IEEE Conference Publication | IEEE Xplore