Automata, Languages and Programming

33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

  • Michele Bugliesi
  • Bart Preneel
  • Vladimiro Sassone
  • Ingo Wegener

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4052)

Table of contents

  1. Front Matter
  2. Invited Papers

    1. Cynthia Dwork
      Pages 1-12
    2. Vincent Danos, Elham Kashefi, Prakash Panangaden
      Pages 13-21
  3. Zero-Knowledge and Signatures

    1. Ivan Visconti
      Pages 22-33
    2. Rosario Gennaro, Silvio Micali
      Pages 34-45
    3. Jun Furukawa, Kaoru Kurosawa, Hideki Imai
      Pages 46-57
  4. Cryptographic Protocols

    1. Detlef Kähler, Ralf Küsters, Thomas Wilke
      Pages 95-106
  5. Secrecy and Protocol Analysis

    1. Rajeev Alur, Pavol Černý, Steve Zdancewic
      Pages 107-118
    2. Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
      Pages 132-143
  6. Cryptographic Primitives

    1. Vadim Lyubashevsky, Daniele Micciancio
      Pages 144-155
    2. Vivien Dubois, Louis Granboulan, Jacques Stern
      Pages 156-167
    3. Krzysztof Pietrzak
      Pages 168-179
  7. Bounded Storage and Quantum Models

Other volumes

  1. 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I
  2. Automata, Languages and Programming
    33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II

About these proceedings

Keywords

Automat algorithms automata complexity data structures formal language formal languages game theory linear algebra programming regular expressions security

Editors and affiliations

  • Michele Bugliesi
    • 1
  • Bart Preneel
    • 2
  • Vladimiro Sassone
    • 3
  • Ingo Wegener
    • 4
  1. 1.Dipartimento di InformaticaUniversità Ca’ FoscariVenice 
  2. 2.Interdisciplinary Institute for BroadBand Technology (IBBT)Belgium
  3. 3.ECSUniversity of SouthamptonUK
  4. 4.FB Informatik, LS2Univ. DortmundDortmundGermany

Bibliographic information

  • DOI https://doi.org/10.1007/11787006
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-35907-4
  • Online ISBN 978-3-540-35908-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book