Advertisement

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
Conference proceedings ICALP 2006

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

  8. Foundations

    1. Iftach Haitner, Danny Harnik, Omer Reingold
      Pages 228-239
    2. Pierre-Alain Fouque, David Pointcheval, Jacques Stern, Sébastien Zimmer
      Pages 240-251
    3. Ricardo Corin, Jerry den Hartog
      Pages 252-263
  9. Multi-party Protocols

    1. Duong Hieu Phan, Reihaneh Safavi-Naini, Dongvu Tonien
      Pages 264-275
    2. Douglas Wikström, Jens Groth
      Pages 276-287
    3. Tamir Tassa, Nira Dyn
      Pages 288-299
    4. Michel Abdalla, Dario Catalano, Alexander W. Dent, John Malone-Lee, Gregory Neven, Nigel P. Smart
      Pages 300-311
  10. Games

    1. Hugo Gimbert, Wiesław Zielonka
      Pages 312-323
    2. Kousha Etessami, Mihalis Yannakakis
      Pages 324-335
    3. Eryk Kopczyński
      Pages 336-347
  11. Semantics

    1. Kohei Honda, Martin Berger, Nobuko Yoshida
      Pages 360-371
    2. Esfandiar Haghverdi
      Pages 384-395
    3. Stefano Guerrini, Patrizia Marzuoli
      Pages 396-407
  12. Automata I

    1. Patricia Bouyer, Serge Haddad, Pierre-Alain Reynier
      Pages 420-431
  13. Models

    1. Paul Blain Levy
      Pages 444-455
    2. Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely
      Pages 456-467
    3. Juhani Karhumäki, Michal Kunc, Alexander Okhotin
      Pages 468-479
  14. Equations

    1. Luca Aceto, Taolue Chen, Wan Fokkink, Anna Ingolfsdottir
      Pages 480-491
    2. Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Bas Luttik
      Pages 492-503
    3. Markus Lohrey, Géraud Sénizergues
      Pages 504-515
    4. Wong Karianto, Aloys Krieg, Wolfgang Thomas
      Pages 516-527
  15. Logics

    1. Ittai Balaban, Amir Pnueli, Lenore D. Zuck
      Pages 528-539
    2. Piero A. Bonatti, Carsten Lutz, Aniello Murano, Moshe Y. Vardi
      Pages 540-551
    3. Michael Benedikt, Christoph Koch
      Pages 552-564
  16. Automata II

    1. Blaise Genest, Anca Muscholl
      Pages 565-576
    2. Marius Bozga, Radu Iosif, Yassine Lakhnech
      Pages 577-588

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
  • Buy this book on publisher's site