|
|
|||
|
||||
OverviewCryptographic protocols are the backbone of secure digital interactions, but achieving both security and efficiency is a challenging balancing act. The challenge is how to minimize computational costs and reduce interaction while maintaining provable security. This book explores cutting-edge techniques to optimize cryptographic protocols under well-established assumptions. The monograph focuses on secure multi-party computation, non-malleable commitments, and proof systems, presenting new constructions based on general and standard cryptographic assumptions. Topics and features: First optimal-round two-party computation protocol: introduces the first secure, two-party computation protocol (and multi-party protocol for coin-tossing) with black-box simulation under standard assumptions, achieving optimal round complexity in the simultaneous message exchange model Breakthrough in non-malleable commitments: develops the first four-round, concurrent, non-malleable commitment scheme based on one-way functions and a three-round variant under stronger (still general and standard) assumptions Advances in zero-knowledge proofs: non-interactive, Zero-Knowledge proof systems that improve both efficiency and generality, enhancing practical applicability in cryptographic protocols Efficient witness-indistinguishable proof systems: three-round, witness-indistinguishable proof systems with a novel delayed-input property, with application to interactive zero-knowledge This work is primarily intended for researchers, academics, and graduate students in cryptography, theoretical computer science, and cybersecurity who are interested in designing cryptographic protocols from standard and general assumptions—in particular in the setting where no setup is available. Full Product DetailsAuthor: Michele Ciampi , Luisa SiniscalchiPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG ISBN: 9783031923739ISBN 10: 3031923731 Pages: 295 Publication Date: 22 August 2025 Audience: Professional and scholarly , College/higher education , Professional & Vocational , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: Not yet available ![]() This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release. Table of ContentsPart I, Preliminaries.- 1 Introduction.- 2 Preliminaries.- Part II, Secure Two-Party Computation.- Round Optimal 2-Party Computation.- Private Set-Membership in the Semi-honest Setting.- Part III, Non-malleable Primitives.- Three-Round Non-malleable Commitment.- Delayed-Input Non-malleable Zero Knowledge.- Four-Round Concurrent Non-malleable Commitments from One-Way Functions.- Part IV, Efficient Proof Systems.- Improved OR Composition.- Delayed-Input Witness Indistinguishable Proofs of Knowledge.- Non-interactive Zero-Knowledge Without Programmable Random Oracles.ReviewsAuthor InformationMichele Ciampi received his PhD from the University of Salerno. His supervisor was Giuseppe Persiano, the externals were Michel Abdalla and Berry Schoenmakers. He has since worked in the groups of Ivan Visconti, Rafail Ostrovsky, Ivan Damgaard and Claudio Orlandi. He is a researcher in the School of Informatics of the University of Edinburgh. Luisa Siniscalchi received her PhD from the University of Salerno. Her PhD supervisor was Ivan Visconti, the externals were Sanjam Garg and Yuval Ishai. She has since worked in the groups of Ivan Visconti, Rafail Ostrovsky, Ivan Damgaard and Claudio Orlandi. She now works in the Concordium Blockchain Research Center in Aarhus. Tab Content 6Author Website:Countries AvailableAll regions |