Two-Levels Verification for Secure Data Aggregation in Resource-Constrained Environments | IEEE Conference Publication | IEEE Xplore