Israeli scientists contributed many inventions and discoveries in a variety of fields including Joram Lindenstrauss (Johnson–Lindenstrauss lemma); Abraham Fraenkel (Zermelo–Fraenkel set theory); Shimshon Amitsur(Amitsur–Levitzki theorem); Saharon Shelah (Sauer–Shelah lemma); Elon Lindenstrauss (Ergodic theory); Nathan Rosen (Wormhole); Yuval Ne'eman (prediction of Quarks); Yakir Aharonov and David Bohm (Aharonov–Bohm effect); Jacob Bekenstein (formulation of Black holes Entropy); Dan Shechtman (discovery of quasicrystals); Avram Hershko and Aaron Ciechanover (discovery of the role of protein Ubiquitin); Arieh Warshel and Michael Levitt (development of multiscale models for complex chemical systems); Ariel Rubinstein (Rubinstein bargaining model); Abraham Fraenkel (Zermelo–Fraenkel set theory); Moussa B.H. Youdim (Rasagiline); Robert Aumann (Game theory); Michael O. Rabin (Nondeterministic finite automaton); Amir Pnueli (Temporal logic); Judea Pearl (artificial intelligence); Shafi Goldwasser (Blum–Goldwasser cryptosystem); Asher Peres (Quantum information); Adi Shamir (RSA, Differential cryptanalysis, Shamir's Secret Sharing); Yaakov Ziv and Abraham Lempel (Lempel–Ziv–Welch); Notable inventions include ReWalk, Given Imaging, Eshkol-Wachman movement notation, Taliglucerase alfa, USB flash drive, Intel 8088, Projection keyboard, TDMoIP, Mobileye, Waze, Wix.com, Gett, Viber, Uzi, Iron Dome, Arrow missile, Super-iron battery, Epilator.