35. ICALP 2008: Reykjavik, Iceland - Part II

Invited Lectures

Track B: Logic, Semantics, and Theory of Programming

Bounds

Distributed Computation

Real-Time and Probabilistic Systems

Logic and Complexity

Words and Trees

Nonstandard Models of Computation

Reasoning about Computation

Verification

Track C: Security and Cryptography Foundations

Theory

Secure Computation

Two-Party Protocols and Zero-Knowledge

Encryption with Special Properties/Quantum Cryptography

Various Types of Hashing

Public-Key Cryptography/Authentication