Группа авторов
Список книг автора Группа авторовProviding Sound Foundations for Cryptography
Cryptography 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.
Concurrency
This 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.
The Handbook of Peer Production
The definitive reference work with comprehensive analysis and review of peer production Peer production is no longer the sole domain of small groups of technical or academic elites. The internet has enabled millions of people to collectively produce, revise, and distribute everything from computer operating systems and applications to encyclopedia articles and film and television databases. Today, peer production has branched out to include wireless networks, online currencies, biohacking, and peer-to-peer urbanism, amongst others. The Handbook of Peer Production outlines central concepts, examines current and emerging areas of application, and analyzes the forms and principles of cooperation that continue to impact multiple areas of production and sociality. Featuring contributions from an international team of experts in the field, this landmark work maps the origins and manifestations of peer production, discusses the factors and conditions that are enabling, advancing, and co-opting peer production, and considers its current impact and potential consequences for the social order. Detailed chapters address the governance, political economy, and cultures of peer production, user motivations, social rules and norms, the role of peer production in social change and activism, and much more. Filling a gap in available literature as the only extensive overview of peer production’s modes of generating informational goods and services, this groundbreaking volume: Offers accessible, up-to-date information to both specialists and non-specialists across academia, industry, journalism, and public advocacy Includes interviews with leading practitioners discussing the future of peer production Discusses the history, traditions, key debates, and pioneers of peer production Explores technologies for peer production, openness and licensing, peer learning, open design and manufacturing, and free and open-source software The Handbook of Peer Production is an indispensable resource for students, instructors, researchers, and professionals working in fields including communication studies, science and technology studies, sociology, and management studies, as well as those interested in the network information economy, the public domain, and new forms of organization and networking.
