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

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