Alternative Formalization and Implementation of Sequential Aggregate Signatures | IEEE Conference Publication | IEEE Xplore