This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT 2000, held in Bruges, Belgium, in May 2000. The 39 revised full papers presented were carefully selected from a total of 150 submissions during a highly competitive reviewing process. The book is divided in topical sections of factoring and discrete logarithm, digital signatures, private information retrieval, key management prools, threshold cryptography, public-key encryption, quantum cryptography, multi-party computation and information theory, zero-knowledge, symmetric cryptography, Boolean functions and hardware, voting schemes, and stream ciphers and block ciphers.
| Factorization of a 512-Bit RSA Modulus | 1 | |
| An Algorithm for Solving the Discrete Log Problem on Hyperelliptic Curves | 19 | |
| Analysis and Optimization of the TWINKLE Factoring Device | 35 | |
| Noisy Polynomial Interpolation and Noisy Chinese Remaindering | 53 | |
| A Chosen Messages Attack on the ISO/IEC 9796-1 Signature Scheme | 70 | |
| Cryptanalysis of Countermeasures Proposed for Repairing ISO 9796-1 | 81 | |
| Security Analysis of the Gennaro-Halevi-Rabin Signature Scheme | 91 | |
| On the Security of 3GPP Networks | 102 | |
| One-Way Trapdoor Permutations Are Sufficient for Non-trivial Single-Server Private Information Retrieval | 104 | |
| Single Database Private Information Retrieval Implies Oblivious Transfer | 122 | |
| Authenticated Key Exchange Secure against Dictionary Attacks | 139 | |
| Provably Secure Password-Authenticated Key Exchange Using Diffie-Hellman | 156 | |
| Fair Encryption of RSA Keys | 172 | |
| Computing Inverses over a Shared Secret Modulus | 190 | |
| Practical Threshold Signatures | 207 | |
| Adaptively Secure Threshold Cryptography: Introducing Concurrency, Removing Erasures | 221 | |
| Confirmer Signature Schemes Secure against Adaptive Adversaries | 243 | |
| Public-Key Encryption in a Multi-user Setting: Security Proofs and Improvements | 259 | |
| Using Hash Functions as a Hedge against Chosen Ciphertext Attack | 275 | |
| Security Aspects of Practical Quantum Cryptography | 289 | |
| Perfectly Concealing Quantum Bit Commitment from any Quantum One-Way Permutation | 300 | |
| General Secure Multi-party Computation from any Linear Secret-Sharing Scheme | 316 | |
| Minimal-Latency Secure Function Evaluation | 335 | |
| Information-Theoretic Key Agreement: From Weak to Strong Secrecy for Free | 351 | |
| New Attacks on PKCS#1 v1.5 Encryption | 369 | |
| A NICE Cryptanalysis | 382 | |
| Efficient Algorithms for Solving Overdefined systems of Multivariate Polynomial Equations | 392 | |
| Cryptanalysis of Patarin's 2-Round Public Key system with S Boxes (2R) | 408 | |
| Colossus and the German Lorenz Cipher - Code Breaking in WW II | 417 | |
| Efficient Concurrent Zero-Knowledge in the Auxiliary String Model | 418 | |
| Efficient Proofs that a Committed Number Lies in an Interval | 431 | |
| A Composition Theorem for Universal One-Way Hash Functions | 445 | |
| Exposure-Resilient Functions and All-Or-Nothing Transforms | 453 | |
| The Sum of PRPs Is a Secure PRF | 470 | |
| Construction of Nonlinear Boolean Functions with Important Cryptographic Properties | 485 | |
| Propagation Characteristics and Correlation-Immunity of Highly Nonlinear Boolean Functions | 507 | |
| Cox-Rower Architecture for Fast Parallel Montgomery Multiplication | 523 | |
| Efficient Receipt-Free Voting Based on Homomorphic Encryption | 539 | |
| How to Break a Practical MIX and Design a New One | 557 | |
| Improved Fast Correlation Attacks Using Parity-Check Equations of Weight 4 and 5 | 573 | |
| Advanced Slide Attacks | 589 | |
| Author Index | 607 |
Overview
This book constitutes the refereed proceedings of the International Conference on the Theory and Application of Cryptographic Techniques, EUROCRYPT 2000, held in Bruges, Belgium, in May 2000. The 39 revised full papers presented were carefully selected from a total of 150 submissions during a highly competitive reviewing process. The book is divided in topical sections of factoring and discrete logarithm, digital signatures, private information retrieval, key management prools, threshold cryptography, public-key ...