This book constitutes the refereed proceedings of the Second Theory of Cryptography Conference, TCC 2005, held in Cambridge, MA, USA in February 2005. The 32 revised full papers presented were carefully reviewed and selected from 84 submissions. The papers are organized in topical sections on hardness amplification and error correction, graphs and groups, simulation and secure computation, security of encryption, steganography and zero knowledge, secure computation, quantum cryptography and universal composability, cryptographic primitives and security, encryption and signatures, and information theoretic cryptography.

Power System Operation and Control is comprehensively designed for undergraduate and postgraduate courses in electrical engineering. This book aims to meet the requirements of electrical engineering students and is useful for practicing engineers.

International Financial Statistics, January 1950

The Iran-US Claims Tribunal, concerned principally with the claims of US nationals against Iran, is the most important international claims tribunal to have sat in over half a century. Its jurisprudence is bound to make a uniquely important contribution to international law and, in particular, the law relating to aliens. The series is the only complete and fully indexed report of the decisions of this unique Tribunal. These Reports are essential for all practitioners in the field of international claims, academics in private and public international law and comparative lawyers as well as all Governments and law libraries. Each volume contains a detailed consolidated index and tables of cases covering the whole series to date.

Makes the last nine years of the Tribunal's work publicly available, including decisions and detailed pleadings in arbitrator challenges.

This book presents a unified algebraic approach to stabilization problems of linear boundary control systems with no assumption on finite-dimensional approximations to the original systems, such as the existence of the associated Riesz basis. A new proof of the stabilization result for linear systems of finite dimension is also presented, leading to an explicit design of the feedback scheme. The problem of output stabilization is discussed, and some interesting results are developed when the observability or the controllability conditions are not satisfied.