05219nam 2200553 i 45000010014000000030004000140050017000180060019000350070015000540080041000690200025001100200024001350200029001590200029001880240025002170350025002420350022002670400040002890430012003290500027003410820016003682450073003842460029004572500019004862640073005053000057005783360021006353370026006563380032006824900033007145380036007475380047007835000032008305040069008625050559009315050607014905202137020975300029042346000021042636500055042846500025043396500047043646500051044116550022044627000029044847760049045138300022045628560081045849781450372732ACM20191213190106.0m eo d cr cn |||m|||a191212s2019 nyua fob 001 0beng d a9781450372732qebook a9781450372725qepub z9781450372701qhardcover z9781450372718qpaperback7 a10.1145/33357722doi a(CaBNVSL)thg00979853 a(OCoLC)1130713068 aCaBNVSLbengerdacCaBNVSLdCaBNVSL an-us--- 4aQA76.9.D5bC668 2019eb04a004/.3622300aConcurrency :bthe works of Leslie Lamport /cDahlia Malkhi, editor.30aWorks of Leslie Lamport. aFirst edition. 1a[New York, New York] :bAssociation for Computing Machinery,c[2019] a1 PDF (xx, 345 pages) :billustrations (some color). atext2rdacontent aelectronic2isbdmedia aonline resource2rdacarrier1 aACM books,x2374-6777 ;v#29 aMode of access: World Wide Web. aSystem requirements: Adobe Acrobat Reader. a"A.M. Turing Award"--Cover. aIncludes bibliographical references (pages [319]-333) and index.0 aIntroduction / Dahlia Malkhi, Idit Keidar -- The computer science of concurrency : the early years / Leslie Lamport -- part I. Technical perspectives on Lamport's work. 1. Shared memory and the bakery algorithm / Hagit Attiya, Jennifer L. Welch -- 2. The notions of time and global state in a distributed system / Karolos Antoniadis, Rachid Guerraoui -- 3. Byzantine faults / Christian Cachin -- 4. State machine replication with benign failures / Robbert van Renesse -- 5. Formal specification and verification / Stephan Merz -- 6. Biography / Roy Levin8 apart II. Selected papers. A new solution of Dijkstra's concurrent programming problem / Leslie Lamport -- Time, clocks, and the ordering of events in a distributed system / Leslie Lamport -- How to make a multiprocessor computer that correctly executes multiprocess programs / Leslie Lamport -- The Byzantine generals problem / Leslie Lamport, Robert Shostak, Marshall Pease -- The mutual exclusion problem : part I--a theory of interprocess communication / Leslie Lamport -- The Mutual Exclusion Problem : part II--statement and solutions / Leslie Lamport -- The part-time parliament / Leslie Lamport.3 aThis book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant. His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods. Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers. This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field. aAlso available in print.10aLamport, Leslie. 0aElectronic data processingxDistributed processing 0aComputer algorithms. 0aParallel processing (Electronic computers) 0aComputer scientistszUnited StatesvBiography. 0aElectronic books.1 aMalkhi, Dahlia,eeditor.08iPrint version:z9781450372718z9781450372701 0aACM books ;v#29.423Abstract with links to full textuhttps://dl.acm.org/citation.cfm?id=333577205936nam 2200601 i 45000010014000000030004000140050017000180060019000350070015000540080041000690200025001100200024001350200029001590200029001880240025002170350025002420350022002670400040002890430030003290500028003590820017003872450129004042460055005332500019005882640073006073000062006803360021007423370026007633380032007894900033008215380036008545380047008905000032009375040041009695050407010105052062014175201295034795300029047746000036048036000020048396500051048596500044049106500043049546500018049976500035050156500055050506500025051056550022051307000030051527760049051828300022052318560081052539781450372695ACM20191213190106.0m eo d cr cn |||m|||a191212s2019 nyua fob 000 0ceng d a9781450372695qebook a9781450372688qepub z9781450372664qhardcover z9781450372671qpaperback7 a10.1145/33357412doi a(CaBNVSL)thg00979854 a(OCoLC)1130713220 aCaBNVSLbengerdacCaBNVSLdCaBNVSL an-us---aa-is---ae-it--- 4aTK5102.94b.P767 2019eb04a005.8/2422300aProviding sound foundations for cryptography :bon the work of Shafi Goldwasser and Silvio Micali /cOded Goldreich, editor.30aOn the work of Shafi Goldwasser and Silvio Micali. aFirst edition. 1a[New York, New York] :bAssociation for Computing Machinery,c[2019] a1 PDF (xxxv, 800 pages) :billustrations (chiefly color). atext2rdacontent aelectronic2isbdmedia aonline resource2rdacarrier1 aACM books,x2374-6777 ;v#30 aMode of access: World Wide Web. aSystem requirements: Adobe Acrobat Reader. a"A.M. Turing Award"--Cover. aIncludes bibliographical references.0 apart I. Biographies, interviews, and award lectures. 1. A story behind every problem : a brief biography of Shafi Goldwasser -- 2. One obsession at a time : a brief biography of Silvio Micali -- 3. An interview with Shafi Goldwasser -- 4. An interview with Silvio Micali -- 5. The cryptographic lens : Shafi Goldwasser's Turing Lecture -- 6. Proofs, according to Silvio : Silvio Micali's Turing Lecture8 apart II. Original papers. 7. Probabilistic encryption & how to play mental poker keeping secret all partial information / Shafi Goldwasser, Silvio Micali -- 8. The knowledge complexity of interactive proof-systems (extended abstract) / Shafi Goldwasser, Silvio Micali, Chales Rackoff -- 9. How to generate cryptographically strong sequences of pseudo random bits / Manuel Blum, Silvio Micali -- 10. How to construct random functions (extended abstract) / Oded Coldreich, Shafi Goldwasser, Silvio Micali -- 11. A "paradoxical" solution to the signature problem / Shafi Goldwasser, Silvio Micali, Ronald L. Rivest -- 12. Proofs that yield nothing but their validity and a methodology of cryptographic protocol design (extended abstract) / Oded Goldreich, Silvio Micali, Avi Wigderson -- 13. How to play any mental game, or a completeness theorem for protocols with honest majority (extended abstract) / Oded Goldreich, Silvio Micali, Avi Wigderson -- 14. Non-interactive zero-knowledge and its applications (extended abstract) / Manuel Blum, Paul Feldman, Silvio Micali -- 15. Completeness theorems for non-cryptographic fault-tolerant distributed computation (extended abstract) / Michael Ben-Or, Shafi Goldwasser, Avi Wigderson -- 16. Multi-prover interactive proofs : how to remove intractability assumptions / Michael Ben-Or, Shafi Goldwasser, Joe Kilian, Avi Wigderson -- part III. Perspectives -- 17. On the foundations of cryptography / Oded Goldreich -- 18. On the impact of cryptography on complexity theory / Oded Goldreich -- 19. On some noncryptographic works of Goldwasser and Micali / Oded Goldreich -- 20. Fundamentals of fully homomorphic encryption / Zvika Brakerski -- 21. Interactive proofs for lattice problems / Daniele Micciancio -- 22. Following a tangent of proofs / Johan Hêastad -- 23. A tutorial on concurrent zero-knowledge / Rafael Pass -- 24. Doubly efficient interactive proofs / Guy Rothblem -- 25. Computational entropy / Salil Vadhan -- 26. A survey of leakage-resilient cryptography / Yael Tauman Kalai and Leonid Reyzin -- 3 aCryptography is concerned with the construction of schemes that withstand any abuse. A cryptographic scheme is constructed so as to maintain a desired functionality, even under malicious attempts aimed at making it deviate from its prescribed behavior. The design of cryptographic systems must be based on firm foundations, whereas ad hoc approaches and heuristics are a very dangerous way to go. These foundations were developed mostly in the 1980s, in works that are all co-authored by Shafi Goldwasser and/or Silvio Micali. These works have transformed cryptography from an engineering discipline, lacking sound theoretical foundations, into a scientific field possessing a well-founded theory, which influences practice as well as contributes to other areas of theoretical computer science. This book celebrates these works, which were the basis for bestowing the 2012 A.M. Turing Award upon Shafi Goldwasser and Silvio Micali. A significant portion of this book reproduces some of these works, and another portion consists of scientific perspectives by some of their former students. The highlight of the book is provided by a few chapters that allow the readers to meet Shafi and Silvio in person. These include interviews with them, their biographies and their Turing Award lectures. aAlso available in print.10aGoldwasser, S.q(Shafi),d1958-10aMicali, Silvio. 0aComputer scientistszUnited StatesvBiography. 0aComputer scientistszIsraelvBiography. 0aComputer scientistszItalyvBiography. 0aCryptography. 0aCryptographyxData processing. 0aElectronic data processingxDistributed processing 0aComputer algorithms. 0aElectronic books.1 aGoldreich, Oded,eeditor.08iPrint version:z9781450372671z9781450372664 0aACM books ;v#30.423Abstract with links to full textuhttps://dl.acm.org/citation.cfm?id=333574105164nam 2200577 i 45000010014000000030004000140050017000180060019000350070015000540080041000690200025001100200024001350200029001590200029001880240025002170350025002420350022002670400040002890430012003290500026003410820020003671000036003872450164004232460048005872500019006352640073006543000062007273360021007893370026008103380032008364900033008685380036009015380047009375040102009845040051010865050486011375050500016235050106021235050241022295201682024705300029041526100049041816500062042306500056042926550022043487000034043707000030044047760049044348300022044838560081045059781450372749ACM20191213190106.0m eo d cr cn |||m|||a191212s2019 nyua fob 001 0 eng d a9781450372749qebook a9781450372756qepub z9781450372770qhardcover z9781450372763qpaperback7 a10.1145/33363232doi a(CaBNVSL)thg00979855 a(OCoLC)1130713164 aCaBNVSLbengerdacCaBNVSLdCaBNVSL an-us--- 4aQA76.27b.F743 2019eb04a355/.0709732230 aFreeman, Peter,d1941-eauthor.10aComputing and the National Science Foundation, 1950-2016 :bbuilding a foundation for modern computing /cPeter A. Freeman, W. Richards Adrion, William Aspray.30aBuilding a foundation for modern computing. aFirst edition. 1a[New York, New York] :bAssociation for Computing Machinery,c[2019] a1 PDF (xxiv, 407 pages) :billustrations (chiefly color). atext2rdacontent aelectronic2isbdmedia aonline resource2rdacarrier1 aACM books,x2374-6777 ;v#31 aMode of access: World Wide Web. aSystem requirements: Adobe Acrobat Reader. a"Bibliography of secondary literature on NSF and the history of U.S. computing": pages [381]-387. aIncludes bibliographical references and index.0 apart I. Chronological history. 1. 1950-1974 : science information, computing facilities, education, and basic research / W. Richards Adrion -- 2. 1974-1986 : CER, CSNET, NSFNET, and the founding of CISE / W. Richards Adrion -- 3. 1986-1998 : the new directorate in a period of computer science expansion / Peter A. Freeman -- 4. 1999-2006 : broadening computer science with new initiatives / Peter A. Freeman -- 5. 2007-2016 : the growing centrality of CISE to NSF / William Aspray8 apart II. Selected subject studies. 6. Pre-CISE computing facilities and education programs / William Aspray -- 7. Pre-CISE computing research / William Aspray -- 8. Information technology research / W. Richards Adrion -- 9. Networking research and deployment / W. Richards Adrion, Peter A. Freeman -- 10. NSF support of high-performance computation / Peter A. Freeman -- 11. CISE's role in broadening participation in computing / William Aspray -- 12. What does an AD/CISE do? / Peter A. Freeman8 apart III. Summary and conclusions. 13. Summary and conclusions / Peter A. Freeman, W. Richards Adrion8 aAppendixes. Appendix A. Computing organizations at NSF / W. Richards Adrion -- Appendix B. CISE oral histories list -- Appendix C. Short biographies -- Appendix D. CISE History Archive (CHA) -- Appendix E. Abbreviations and acronyms -- 3 aThis organizational history relates the role of the National Science Foundation (NSF) in the development of modern computing. Drawing upon new and existing oral histories, extensive use of NSF documents, and the experience of two of the authors as senior managers, this book describes how NSF's programmatic activities originated and evolved to become the primary source of funding for fundamental research in computing and information technologies. The book traces how NSF's support has provided facilities and education for computing usage by all scientific disciplines, aided in institution and professional community building, supported fundamental research in computer science and allied disciplines, and led the efforts to broaden participation in computing by all segments of society. Today, the research and infrastructure facilitated by NSF computing programs are significant economic drivers of American society and industry. For example, NSF supported work that led to the first widelyused web browser, Netscape; sponsored the creation of algorithms at the core of the Google search engine; facilitated the growth of the public Internet; and funded research on the scientific basis for countless other applications and technologies. NSF has advanced the development of human capital and ideas for future advances in computing and its applications. This account is the first comprehensive coverage of NSF's role in the extraordinary growth and expansion of modern computing and its use. It will appeal to historians of computing, policy makers and leaders in government and academia, and individuals interested in the history and development of computing and the NSF. aAlso available in print.20aNational Science Foundation (U.S.)xHistory. 0aInformation technologyxResearchzUnited StatesxHistory. 0aComputer sciencexResearchzUnited StatesxHistory. 0aElectronic books.1 aAdrion, W. Richards,eauthor.1 aAspray, William,eauthor.08iPrint version:z9781450372763z9781450372770 0aACM books ;v#31.423Abstract with links to full textuhttps://dl.acm.org/citation.cfm?id=3336323