Fiat-Shamir with aborts: Applications to lattice and factoring-based signatures
A digital signature scheme secure against adaptive chosen-message attacks