Announcement_20200902

paper on efficient probabilistic verification of digital signatures accepted in Journal of Computer and System Sciences :memo: