Christian Cachin Knihy

In modern computing a program is usually distributed among several processes. The fundamental challenge when developing reliable and secure distributed programs is to support the cooperation of processes required to execute a common task, even when some of these processes fail. Failures may range from crashes to adversarial attacks by malicious processes. Cachin, Guerraoui, and Rodrigues present an introductory description of fundamental distributed programming abstractions together with algorithms to implement them in distributed systems, where processes are subject to crashes and malicious attacks. The authors follow an incremental approach by first introducing basic abstractions in simple distributed environments, before moving to more sophisticated abstractions and more challenging environments. Each core chapter is devoted to one topic, covering reliable broadcast, shared memory, consensus, and extensions of consensus. For every topic, many exercises and their solutions enhance the understanding This book represents the second edition of „Introduction to Reliable Distributed Programming“. Its scope has been extended to include security against malicious actions by non-cooperating processes. This important domain has become widely known under the name „Byzantine fault-tolerance“.

These proceedings document the 23rd Annual Eurocrypt Conference, organized by members of the IBM Zurich Research Laboratory in collaboration with the International Association for Cryptologic Research (IACR). The conference received a record 206 submissions, from which the program committee selected 36 for presentation, with three papers withdrawn shortly after submission. The proceedings include revised versions of the accepted papers, for which the authors hold full responsibility for the content. The program featured two invited talks: the 2004 IACR Distinguished Lecture by Whitfield Diffie and a presentation by Ivan Damgård on “Paradigms for Multiparty Computation.” The traditional rump session, chaired by Arjen Lenstra, included short informal talks on recent results. The reviewing process was rigorous, with many quality submissions ultimately rejected. Each paper was reviewed independently by at least three program committee members, while those co-authored by committee members received reviews from at least six others. This thorough review phase was followed by extensive discussions, enhancing the quality of the final selection, and authors typically received detailed feedback on their submissions.