Providing Sound Foundations for Cryptography: On the work of Shafi Goldwasser and Silvio Micali

839 Pages·2019·9.736 MB·English

by  Oded Goldreich

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.
ABOUT ACM BOOKS
ACM Books is a series of high-quality books
published by ACM for the computer science
community. ACM Books publications are widely
distributed in print and digital formats by major
booksellers and are available to libraries and
library consortia. Individual ACM members may access ACM
Books publications via separate annual subscription.
BOOKS.ACM.ORG • WWW.MORGANCLAYPOOLPUBLISHERS.COM

Providing Sound Foundations
for Cryptography

ACM Books
EditorinChief
M.TamerO¨zsu,UniversityofWaterloo
ACMBooksisanewseriesofhigh-qualitybooksforthecomputersciencecommunity,
published by ACM in collaboration with Morgan & Claypool Publishers. ACM Books
publicationsarewidelydistributedinbothprintanddigitalformatsthroughbooksellers
andtolibraries(andlibraryconsortia)andindividualACMmembersviatheACMDigital
Libraryplatform.
ProvidingSoundFoundationsforCryptography:Ontheworkof
ShafiGoldwasserandSilvioMicali
OdedGoldreich,WeizmannInstituteofScience
2019
Concurrency:TheWorksofLeslieLamport
DahliaMalkhi,VMwareResearchandCalibra
2019
The Essentials of Modern Software Engineering: Free the Practices from the
MethodPrisons!
IvarJacobson,IvarJacobsonInternational
Harold“Bud”Lawson,LawsonKonsultAB(deceased)
Pan-WeiNg,DBSSingapore
PaulE.McMahon,PEMSystems
MichaelGoedicke,Universit¨atDuisburg–Essen
2019
DataCleaning
IhabF.Ilyas,UniversityofWaterloo
XuChu,GeorgiaInstituteofTechnology
2019
ConversationalUXDesign:APractitioner’sGuidetotheNatural
ConversationFramework
RobertJ.Moore,IBMResearch–Almaden
RaphaelArar,IBMResearch–Almaden
2019
HeterogeneousComputing:HardwareandSoftwarePerspectives
MohamedZahran,NewYorkUniversity
2019
HardnessofApproximationBetweenPandNP
AviadRubinstein,StanfordUniversity
2019
TheHandbookofMultimodal-MultisensorInterfaces,Volume3:
LanguageProcessing,Software,Commercialization,andEmergingDirections
Editors:SharonOviatt,MonashUniversity
Bj¨ornSchuller,ImperialCollegeLondonandUniversityofAugsburg
PhilipR.Cohen,MonashUniversity
DanielSonntag,GermanResearchCenterforArtificialIntelligence(DFKI)
GerasimosPotamianos,UniversityofThessaly
AntonioKru¨ger,SaarlandUniversityandGermanResearchCenterforArtificialIntelligence
(DFKI)
2019
MakingDatabasesWork:ThePragmaticWisdomofMichaelStonebraker
Editor:MichaelL.Brodie,MassachusettsInstituteofTechnology
2018
TheHandbookofMultimodal-MultisensorInterfaces,Volume2:
SignalProcessing,Architectures,andDetectionofEmotionandCognition
Editors:SharonOviatt,MonashUniversity
Bj¨ornSchuller,UniversityofAugsburgandImperialCollegeLondon
PhilipR.Cohen,MonashUniversity
DanielSonntag,GermanResearchCenterforArtificialIntelligence(DFKI)
GerasimosPotamianos,UniversityofThessaly
AntonioKru¨ger,SaarlandUniversityandGermanResearchCenterforArtificialIntelligence
(DFKI)
2018
DeclarativeLogicProgramming:Theory,Systems,andApplications
Editors:MichaelKifer,StonyBrookUniversity
YanhongAnnieLiu,StonyBrookUniversity
2018
TheSparseFourierTransform:TheoryandPractice
HaithamHassanieh,UniversityofIllinoisatUrbana-Champaign
2018
TheContinuingArmsRace:Code-ReuseAttacksandDefenses
Editors:PerLarsen,Immunant,Inc.
Ahmad-RezaSadeghi,TechnischeUniversit¨atDarmstadt
2018
FrontiersofMultimediaResearch
Editor:Shih-FuChang,ColumbiaUniversity
2018
Shared-MemoryParallelismCanBeSimple,Fast,andScalable
JulianShun,UniversityofCalifornia,Berkeley
2017
ComputationalPredictionofProteinComplexesfromProteinInteraction
Networks
SriganeshSrihari,TheUniversityofQueenslandInstituteforMolecularBioscience
ChernHanYong,Duke-NationalUniversityofSingaporeMedicalSchool
LimsoonWong,NationalUniversityofSingapore
2017
TheHandbookofMultimodal-MultisensorInterfaces,Volume1:
Foundations,UserModeling,andCommonModalityCombinations
Editors:SharonOviatt,IncaaDesigns
Bj¨ornSchuller,UniversityofPassauandImperialCollegeLondon
PhilipR.Cohen,VoiceboxTechnologies
DanielSonntag,GermanResearchCenterforArtificialIntelligence(DFKI)
GerasimosPotamianos,UniversityofThessaly
AntonioKru¨ger,SaarlandUniversityandGermanResearchCenterforArtificialIntelligence
(DFKI)
2017
CommunitiesofComputing:ComputerScienceandSocietyintheACM
ThomasJ.Misa,Editor,UniversityofMinnesota
2017
Text Data Management and Analysis: A Practical Introduction to Information
RetrievalandTextMining
ChengXiangZhai,UniversityofIllinoisatUrbana–Champaign
SeanMassung,UniversityofIllinoisatUrbana–Champaign
2016
AnArchitectureforFastandGeneralDataProcessingonLargeClusters
MateiZaharia,StanfordUniversity
2016
ReactiveInternetProgramming:StateChartXMLinAction
FranckBarbier,UniversityofPau,France
2016
VerifiedFunctionalProgramminginAgda
AaronStump,TheUniversityofIowa
2016
TheVRBook:Human-CenteredDesignforVirtualReality
JasonJerald,NextGenInteractions
2016
Ada’sLegacy:CulturesofComputingfromtheVictoriantotheDigitalAge
RobinHammerman,StevensInstituteofTechnology
AndrewL.Russell,StevensInstituteofTechnology
2016
EdmundBerkeleyandtheSocialResponsibilityofComputerProfessionals
BernadetteLongo,NewJerseyInstituteofTechnology
2015
CandidateMultilinearMaps
SanjamGarg,UniversityofCalifornia,Berkeley
2015
SmarterThanTheirMachines:OralHistoriesofPioneersinInteractiveComputing
John Cullinane, Northeastern University; Mossavar-Rahmani Center for Business
andGovernment,JohnF.KennedySchoolofGovernment,HarvardUniversity
2015
AFrameworkforScientificDiscoverythroughVideoGames
SethCooper,UniversityofWashington
2014
Trust Extension as a Mechanism for Secure Code Execution on Commodity
Computers
BryanJeffreyParno,MicrosoftResearch
2014
EmbracingInterferenceinWirelessSystems
ShyamnathGollakota,UniversityofWashington
2014