35. ICALP 2008: Reykjavik, Iceland - Part II

Invited Lectures

Track B: Logic, Semantics, and Theory of Programming


Distributed Computation

Real-Time and Probabilistic Systems

Logic and Complexity

Words and Trees

Nonstandard Models of Computation

Reasoning about Computation


Track C: Security and Cryptography Foundations


Secure Computation

Two-Party Protocols and Zero-Knowledge

Encryption with Special Properties/Quantum Cryptography

Various Types of Hashing

Public-Key Cryptography/Authentication

maintained by Schloss Dagstuhl LZI at University of Trier