introduced by Michael O. Rabin 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. Differential cryptanalysis, co-invented by Adi Shamir Shamir's Secret Sharing, invented by Adi Shamir Computing Computer hardware USB flash drive – a flash memory data storage device integrated with a USB interface. The Israeli company M-Systems (in partnership with IBM) developed and manufactured the first USB flash drives available in North America. This claim is challenged by multiple companies in the following three countries which also independently developed USB technology: Singapore (Trek Technology), the People's Republic of China (PRC) (Netac Technology) and the Republic of China (Taiwan). See USB Flash drive § Patent controversy. Smartphone dual lens technology, by Israeli company Corephotonics. In 2018, Corephotonics sued Apple Inc for infringement of its dual camera patents; specifically regarding several iPhone models' use of their patented telephoto lens design, optical zoom method, and a method for intelligently fusing images from the wide-angle and telephoto lenses to improve image quality, infringing on four separate patents. Corephotonics was bought by Samsung in 2018 for US$155 million. The Intel 8088 – This microprocessor, designed at Intel's Haifa laboratory, powered the first PC that IBM built, which is credited with kickstarting the PC revolution. The 8088 was designed in Israel at Intel's Haifa laboratory. The widespread use of the IBM's PC, using the 8088 processor, established the use of x86 architecture as a de facto standard for decades. The IEEE wrote that "almost all the world’s PCs are built around CPUs that can claim the 8088 as an ancestor." Intel has credited the 8088 with launching the company into the Fortune 500. Quicktionary Electronic dictionary – a pen-sized scanner able to scan words or phrases and immediately translate them into other languages, or keep them in memory in order to transfer them to the PC. Developed by the company Wizcom Technologies Ltd. Laser Keyboard – a virtual keyboard is projected onto a wall or table top and allows to type handheld computers and cell phones. Developed simultaneously by the Israeli company Lumio and Silicon Valley startup company Canesta.Marriott, Michel (September 19, 2002). "No Keys, Just Soft Light and You". The New York Times.Shiels, Maggie (October 15, 2002). "The keyboard that isn't there". BBC News. The company subsequently