Four variants of DSA: We propose four DSA-like modules to verify the ...