33. ICALP 2006: Venice, Italy

Invited Papers

• Cynthia Dwork:
  Differential Privacy. 1-12
  Electronic Edition (link) BibTeX
• Vincent Danos, Elham Kashefi, Prakash Panangaden:
  The One Way to Quantum Computation. 13-21
  Electronic Edition (link) BibTeX

Zero-Knowledge and Signatures

• Ivan Visconti:
  Efficient Zero Knowledge on the Internet. 22-33
  Electronic Edition (link) BibTeX
• Rosario Gennaro, Silvio Micali:
  Independent Zero-Knowledge Sets. 34-45
  Electronic Edition (link) BibTeX
• Jun Furukawa, Kaoru Kurosawa, Hideki Imai:
  An Efficient Compiler from Sigma-Protocol to 2-Move Deniable Zero-Knowledge. 46-57
  Electronic Edition (link) BibTeX
• Damien Vergnaud:
  New Extensions of Pairing-Based Signatures into Universal Designated Verifier Signatures. 58-69
  Electronic Edition (link) BibTeX

Cryptographic Protocols

• Daniele Micciancio, Saurabh Panjwani:
  Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption. 70-82
  Electronic Edition (link) BibTeX
• Pedro Adão, Cédric Fournet:
  Cryptographically Sound Implementations for Communicating Processes. 83-94
  Electronic Edition (link) BibTeX
• Detlef Kähler, Ralf Küsters, Thomas Wilke:
  A Dolev-Yao-Based Definition of Abuse-Free Protocols. 95-106
  Electronic Edition (link) BibTeX

Secrecy and Protocol Analysis

• Rajeev Alur, Pavol Cerný, Steve Zdancewic:
  Preserving Secrecy Under Refinement. 107-118
  Electronic Edition (link) BibTeX
• Michele Boreale:
  Quantifying Information Leakage in Process Calculi. 119-131
  Electronic Edition (link) BibTeX
• Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen:
  Symbolic Protocol Analysis in Presence of a Homomorphism Operator and Exclusive Or. 132-143
  Electronic Edition (link) BibTeX

Cryptographic Primitives

• Vadim Lyubashevsky, Daniele Micciancio:
  Generalized Compact Knapsacks Are Collision Resistant. 144-155
  Electronic Edition (link) BibTeX
• Vivien Dubois, Louis Granboulan, Jacques Stern:
  An Efficient Provable Distinguisher for HFE. 156-167
  Electronic Edition (link) BibTeX
• Krzysztof Pietrzak:
  A Tight Bound for EMAC. 168-179
  Electronic Edition (link) BibTeX
• Frederik Armknecht, Matthias Krause:
  Constructing Single- and Multi-output Boolean Functions with Maximal Algebraic Immunity. 180-191
  Electronic Edition (link) BibTeX

Bounded Storage and Quantum Models

• Danny Harnik, Moni Naor:
  On Everlasting Security in the Hybrid Bounded Storage Model. 192-203
  Electronic Edition (link) BibTeX
• Yevgeniy Dodis, Renato Renner:
  On the Impossibility of Extracting Classical Randomness Using a Quantum Computer. 204-215
  Electronic Edition (link) BibTeX
• Akinori Kawachi, Tomoyuki Yamakami:
  Quantum Hardcore Functions by Complexity-Theoretical Quantum List Decoding. 216-227
  Electronic Edition (link) BibTeX

Foundations

• Iftach Haitner, Danny Harnik, Omer Reingold:
  Efficient Pseudorandom Generators from Exponentially Hard One-Way Functions. 228-239
  Electronic Edition (link) BibTeX
• Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Sébastien Zimmer:
  Hardness of Distinguishing the MSB or LSB of Secret Keys in Diffie-Hellman Schemes. 240-251
  Electronic Edition (link) BibTeX
• Ricardo Corin, Jerry den Hartog:
  A Probabilistic Hoare-style Logic for Game-Based Cryptographic Proofs. 252-263
  Electronic Edition (link) BibTeX

Multi-party Protocols

• Duong Hieu Phan, Reihaneh Safavi-Naini, Dongvu Tonien:
  Generic Construction of Hybrid Public Key Traitor Tracing with Full-Public-Traceability. 264-275
  Electronic Edition (link) BibTeX
• Douglas Wikström, Jens Groth:
  An Adaptively Secure Mix-Net Without Erasures. 276-287
  Electronic Edition (link) BibTeX
• Tamir Tassa, Nira Dyn:
  Multipartite Secret Sharing by Bivariate Interpolation. 288-299
  Electronic Edition (link) BibTeX
• Michel Abdalla, Dario Catalano, Alexander W. Dent, John Malone-Lee, Gregory Neven, Nigel P. Smart:
  Identity-Based Encryption Gone Wild. 300-311
  Electronic Edition (link) BibTeX

Games

• Hugo Gimbert, Wieslaw Zielonka:
  Deterministic Priority Mean-Payoff Games as Limits of Discounted Games. 312-323
  Electronic Edition (link) BibTeX
• Kousha Etessami, Mihalis Yannakakis:
  Recursive Concurrent Stochastic Games. 324-335
  Electronic Edition (link) BibTeX
• Eryk Kopczynski:
  Half-Positional Determinacy of Infinite Games. 336-347
  Electronic Edition (link) BibTeX
• Colin Stirling:
  A Game-Theoretic Approach to Deciding Higher-Order Matching. 348-359
  Electronic Edition (link) BibTeX

Semantics

• Kohei Honda, Martin Berger, Nobuko Yoshida:
  Descriptive and Relative Completeness of Logics for Higher-Order Functions. 360-371
  Electronic Edition (link) BibTeX
• Rasmus Ejlers Møgelberg:
  Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism. 372-383
  Electronic Edition (link) BibTeX
• Esfandiar Haghverdi:
  Typed GoI for Exponentials. 384-395
  Electronic Edition (link) BibTeX
• Stefano Guerrini, Patrizia Marzuoli:
  Commutative Locative Quantifiers for Multiplicative Linear Logic. 396-407
  Electronic Edition (link) BibTeX

Automata I

• Filip Murlak:
  The Wadge Hierarchy of Deterministic Tree Languages. 408-419
  Electronic Edition (link) BibTeX
• Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier:
  Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences. 420-431
  Electronic Edition (link) BibTeX
• Tomasz Jurdzinski:
  On Complexity of Grammars Related to the Safety Problem. 432-443
  Electronic Edition (link) BibTeX

Models

• Paul Blain Levy:
  Jumbo lambda-Calculus. 444-455
  Electronic Edition (link) BibTeX
• Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely:
  lambda-RBAC: Programming with Role-Based Access Control. 456-467
  Electronic Edition (link) BibTeX
• Juhani Karhumäki, Michal Kunc, Alexander Okhotin:
  Communication of Two Stacks and Rewriting. 468-479
  Electronic Edition (link) BibTeX

Equations

• Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingólfsdóttir:
  On the Axiomatizability of Priority. 480-491
  Electronic Edition (link) BibTeX
• Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Bas Luttik:
  A Finite Equational Base for CCS with Left Merge and Communication Merge. 492-503
  Electronic Edition (link) BibTeX
• Markus Lohrey, Géraud Sénizergues:
  Theories of HNN-Extensions and Amalgamated Products. 504-515
  Electronic Edition (link) BibTeX
• Wong Karianto, Aloys Krieg, Wolfgang Thomas:
  On Intersection Problems for Polynomially Generated Sets. 516-527
  Electronic Edition (link) BibTeX

Logics

• Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
  Invisible Safety of Distributed Protocols. 528-539
  Electronic Edition (link) BibTeX
• Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi:
  The Complexity of Enriched µ-Calculi. 540-551
  Electronic Edition (link) BibTeX
• Michael Benedikt, Christoph Koch:
  Interpreting Tree-to-Tree Queries. 552-564
  Electronic Edition (link) BibTeX

Automata II

• Blaise Genest, Anca Muscholl:
  Constructing Exponential-Size Deterministic Zielonka Automata. 565-576
  Electronic Edition (link) BibTeX
• Marius Bozga, Radu Iosif, Yassine Lakhnech:
  Flat Parametric Counter Automata. 577-588
  Electronic Edition (link) BibTeX
• Qiqi Yan:
  Lower Bounds for Complementation of omega-Automata Via the Full Automata Technique. 589-600
  Electronic Edition (link) BibTeX