The concept of nondeterministic finite automatons, introduced by Michael O. Rabin[29] Amir Pnueli introduced temporal logic into computing science Lempel–Ziv–Welch algorithm, a universal lossless data compression algorithm created by Abraham Lempel and Jacob Ziv of the Technion institute, together with the American Information theorist, Terry Welch.[30] RSA public key encryption, introduced by Adi Shamir with Ron Rivest, and Leonard Adleman[31] Differential cryptanalysis, co-invented by Adi Shamir[citation needed] Shamir's Secret Sharing, invented by Adi Shamir[citation needed]