Just learned that Michael Rabin, who among other things came up with the Rabin cryptosystem and co-invented randomized primality testing, has died at age 94. --Steve Bellovin, https://www.cs.columbia.edu/~smb