35th ICALP 2008: Reykjavik, Iceland - Part II

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics