@incollection{Canetti/08,
AUTHOR = {Canetti, Ran},
TITLE = {Composable formal security analysis: Juggling soundness, simplicity and efficiency},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {1-13},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_1},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Esparza-Kiefer-Luttenberger/08,
AUTHOR = {Esparza, Javier and Kiefer, Stefan and Luttenberger, Michael},
TITLE = {Newton's method for $\omega$-continuous semirings},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {14-26},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_2},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bjorklund-Martens/08,
AUTHOR = {Bj{\"o}rklund, Henrik and Martens, Wim},
TITLE = {The tractability frontier for NFA minimization},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {27-38},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_3},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gruber-Holzer/08,
AUTHOR = {Gruber, Hermann and Holzer, Markus},
TITLE = {Finite automata, digraph connectivity, and regular expression size},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {39-50},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_4},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jurdzinski/08,
AUTHOR = {Jurdzi{\'n}ski, Tomasz},
TITLE = {Leftist grammars are non-primitive recursive},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {51-62},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_5},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jez-Okhotin/08,
AUTHOR = {Je{\.z}, Artur and Okhotin, Alexander},
TITLE = {On the computational completeness of equations over sets of natural numbers},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {63-74},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_6},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Neubauer-Thiemann/08,
AUTHOR = {Neubauer, Matthias and Thiemann, Peter},
TITLE = {Placement inference for a client-server calculus},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {75-86},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_7},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Johansson-Parrow-Victor-Bengtson/08,
AUTHOR = {Johansson, Magnus and Parrow, Joachim and Victor, Bj{\"o}rn and Bengtson, Jesper},
TITLE = {Extended pi-calculi},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {87-98},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_8},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Berger-Honda-Yoshida/08,
AUTHOR = {Berger, Martin and Honda, Kohei and Yoshida, Nobuko},
TITLE = {Completeness and logical full abstraction in modal logics for typed mobile processes},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {99-111},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_9},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Boigelot-Brusten-Bruyere/08,
AUTHOR = {Boigelot, Bernard and Brusten, Julien and Bruy{\`e}re, V{\'e}ronique},
TITLE = {On the sets of real numbers recognized by finite automata in multiple bases},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {112-123},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_10},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bouyer-Markey-Ouaknine-Worrell/08,
AUTHOR = {Bouyer, Patricia and Markey, Nicolas and Ouaknine, Jo{\"e}l and Worrell, James},
TITLE = {On expressiveness and complexity in real-time model checking},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {124-135},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_11},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Vladimerou-Prabhakar-Viswanathan-Dullerud/08,
AUTHOR = {Vladimerou, Vladimeros and Prabhakar, Pavithra and Viswanathan, Mahesh and Dullerud, Geir},
TITLE = {STORMED hybrid systems},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {136-147},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_12},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Brazdil-Forejt-Kucera/08,
AUTHOR = {Br{\'a}zdil, Tom{\'a}{\v{s}} and Forejt, Vojt{\v{e}}ch and Ku{\v{c}}era, Anton{\'{i}}n},
TITLE = {Controller synthesis and verification for Markov decision processes with qualitative branching time objectives},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {148-159},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_13},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Dawar-Kreutzer/08,
AUTHOR = {Dawar, Anuj and Kreutzer, Stephan},
TITLE = {On Datalog vs. LFP},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {160-171},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_14},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Egri-Larose-Tesson/08,
AUTHOR = {Egri, L{\'a}szl{\'o} and Larose, Beno{\^{i}}t and Tesson, Pascal},
TITLE = {Directed $st$-connectivity is not expressible in symmetric Datalog},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {172-183},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_15},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bodirsky-Grohe/08,
AUTHOR = {Bodirsky, Manuel and Grohe, Martin},
TITLE = {Non-dichotomies in constraint satisfaction complexity},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {184-196},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_16},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Chen/08a,
AUTHOR = {Chen, Hubie},
TITLE = {Quantified constraint satisfaction and the polynomially generated powers property},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {197-208},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_17},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gomez-Guaiana-Pin/08,
AUTHOR = {G{\'o}mez, Antonio Cano and Guaiana, Giovanna and Pin, Jean-{\'E}ric},
TITLE = {When does partial commutative closure preserve regularity?},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {209-220},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_18},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Mathissen/08,
AUTHOR = {Mathissen, Christian},
TITLE = {Weighted logics for nested words and algebraic formal power series},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {221-232},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_19},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Bojanczyk-Segoufin/08,
AUTHOR = {Boja{\'n}czyk, Miko{\l}aj and Segoufin, Luc},
TITLE = {Tree languages defined in first-order logic with one quantifier alternation},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {233-245},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_20},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gehrke-Grigorieff-Pin/08,
AUTHOR = {Gehrke, Mai and Grigorieff, Serge and Pin, Jean-{\'E}ric},
TITLE = {Duality and equational theory of regular languages},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {246-257},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_21},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Yokoyama-Axelsen-Gluck/08,
AUTHOR = {Yokoyama, Tetsuo and Axelsen, Holger Bock and Gl{\"u}ck, Robert},
TITLE = {Reversible flowchart languages and the structured reversible program theorem},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {258-270},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_22},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Katsumata/08,
AUTHOR = {Katsumata, Shin-ya},
TITLE = {Attribute grammars and categorical semantics},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {271-282},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_23},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Martin/08,
AUTHOR = {Martin, Keye},
TITLE = {A domain theoretic model of qubit channels},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {283-297},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_24},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Coecke-Duncan/08,
AUTHOR = {Coecke, Bob and Duncan, Ross},
TITLE = {Interacting quantum observables},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {298-310},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_25},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kesner/08,
AUTHOR = {Kesner, Delia},
TITLE = {Perpetuality for full and safe composition (in a constructive setting)},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {311-322},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_26},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Lebresne/08,
AUTHOR = {Lebresne, Sylvain},
TITLE = {A systemf with call-by-name exceptions},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {323-335},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_27},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Simmons-Pfenning/08,
AUTHOR = {Simmons, Robert J. and Pfenning, Frank},
TITLE = {Linear logical algorithms},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {336-347},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_28},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Birkedal-Reus-Schwinghammer-Yang/08,
AUTHOR = {Birkedal, Lars and Reus, Bernhard and Schwinghammer, Jan and Yang, Hongseok},
TITLE = {A simple model of separation logic for higher-order store},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {348-360},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_29},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Greimel-Bloem-Jobstmann-Vardi/08,
AUTHOR = {Greimel, Karin and Bloem, Roderick and Jobstmann, Barbara and Vardi, Moshe},
TITLE = {Open implication},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {361-372},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_30},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Schewe/08,
AUTHOR = {Schewe, Sven},
TITLE = {ATL* satisfiability is 2EXPTIME-complete},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {373-385},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_31},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Raskin-Servais/08,
AUTHOR = {Raskin, Jean-Fran{\c{c}}ois and Servais, Fr{\'e}d{\'e}ric},
TITLE = {Visibly pushdown transducers},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {386-397},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_32},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Colcombet-Loding/08,
AUTHOR = {Colcombet, Thomas and L{\"o}ding, Christof},
TITLE = {The non-deterministic Mostowski hierarchy and distance-parity automata},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {398-409},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_33},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Axelsson-Heljanko-Lange/08,
AUTHOR = {Axelsson, Roland and Heljanko, Keijo and Lange, Martin},
TITLE = {Analyzing context-free grammars using an incremental SAT solver},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {410-422},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_34},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Pietrzak-Sjodin/08,
AUTHOR = {Pietrzak, Krzysztof and Sj{\"o}din, Johan},
TITLE = {Weak pseudorandom functions in Minicrypt},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {423-436},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_35},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Altmann-Jager-Rupp/08,
AUTHOR = {Altmann, Kristina and Jager, Tibor and Rupp, Andy},
TITLE = {On black-box ring extraction and integer factorization},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {437-448},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_36},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Canetti-Dakdouk/08,
AUTHOR = {Canetti, Ran and Dakdouk, Ronny Ramzi},
TITLE = {Extractable perfectly one-way functions},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {449-460},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_37},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Przydatek-Wullschleger/08,
AUTHOR = {Przydatek, Bartosz and Wullschleger, J{\"u}rg},
TITLE = {Error-tolerant combiners for oblivious primitives},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {461-472},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_38},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hirt-Nielsen-Przydatek/08,
AUTHOR = {Hirt, Martin and Nielsen, Jesper Buus and Przydatek, Bartosz},
TITLE = {Asynchronous multi-party computation with quadratic communication},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {473-485},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_39},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kolesnikov-Schneider/08,
AUTHOR = {Kolesnikov, Vladimir and Schneider, Thomas},
TITLE = {Improved garbled circuit: Free XOR gates and applications},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {486-498},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_40},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Katz-Koo-Kumaresan/08,
AUTHOR = {Katz, Jonathan and Koo, Chiu-Yuen and Kumaresan, Ranjit},
TITLE = {Improving the round complexity of VSS in point-to-point networks},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {499-510},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_41},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Canetti-Eiger-Goldwasser-Lim/08,
AUTHOR = {Canetti, Ran and Eiger, Dror and Goldwasser, Shafi and Lim, Dah-Yoh},
TITLE = {How to protect yourself without perfect shredding},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {511-523},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_42},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kurosawa-Furukawa/08,
AUTHOR = {Kurosawa, Kaoru and Furukawa, Jun},
TITLE = {Universally composable undeniable signature},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {524-535},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_43},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kalai-Raz/08,
AUTHOR = {Kalai, Yael Tauman and Raz, Ran},
TITLE = {Interactive PCP},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {536-547},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_44},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ostrovsky-Persiano-Visconti/08,
AUTHOR = {Ostrovsky, Rafail and Persiano, Giuseppe and Visconti, Ivan},
TITLE = {Constant-round concurrent non-malleable zero knowledge in the bare public-key model},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {548-559},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_45},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shi-Waters/08,
AUTHOR = {Shi, Elaine and Waters, Brent},
TITLE = {Delegating capabilities in predicate encryption systems},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {560-578},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_46},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Goyal-Jain-Pandey-Sahai/08,
AUTHOR = {Goyal, Vipul and Jain, Abhishek and Pandey, Omkant and Sahai, Amit},
TITLE = {Bounded ciphertext policy attribute based encryption},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {579-591},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_47},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hallgren-Kolla-Sen-Zhang/08,
AUTHOR = {Hallgren, Sean and Kolla, Alexandra and Sen, Pranab and Zhang, Shengyu},
TITLE = {Making classical honest verifier zero knowledge protocols secure against quantum attacks},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {592-603},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_48},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Wehner-Wullschleger/08,
AUTHOR = {Wehner, Stephanie and Wullschleger, J{\"u}rg},
TITLE = {Composable security in the bounded-quantum-storage model},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {604-615},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_49},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Hoch-Shamir/08,
AUTHOR = {Hoch, Jonathan J. and Shamir, Adi},
TITLE = {On the strength of the concatenated hash combiner when all the hash functions are weak},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {616-630},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_50},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Naor-Segev-Wieder/08,
AUTHOR = {Naor, Moni and Segev, Gil and Wieder, Udi},
TITLE = {History-independent cuckoo hashing},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {631-642},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_51},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Shrimpton-Stam/08,
AUTHOR = {Shrimpton, Thomas and Stam, Martijn},
TITLE = {Building a collision-resistant compression function from non-compressing primitives},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {643-654},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_52},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Fischlin-Lehmann-Pietrzak/08,
AUTHOR = {Fischlin, Marc and Lehmann, Anja and Pietrzak, Krzysztof},
TITLE = {Robust multi-property combiners for hash functions revisited},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {655-666},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_53},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Prabhakaran-Rosulek/08,
AUTHOR = {Prabhakaran, Manoj and Rosulek, Mike},
TITLE = {Homomorphic encryption with CCA security},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {667-678},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_54},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Gilbert-Robshaw-Seurin/08,
AUTHOR = {Gilbert, Henri and Robshaw, Matthew J.B. and Seurin, Yannick},
TITLE = {How to encrypt with the LPN problem},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {679-690},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_55},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Ding-Dubois-Yang-Chen-Cheng/08,
AUTHOR = {Ding, Jintai and Dubois, Vivien and Yang, Bo-Yin and Chen, Owen Chia-Hsin and Cheng, Chen-Mou},
TITLE = {Could SFLASH be repaired?},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {691-701},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_56},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Kolesnikov-Rackoff/08,
AUTHOR = {Kolesnikov, Vladimir and Rackoff, Charles},
TITLE = {Password mistyping in two-factor-authenticated key exchange},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {702-714},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_57},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}
@incollection{Jarecki-Liu/08,
AUTHOR = {Jarecki, Stanis{\l}aw and Liu, Xiaomin},
TITLE = {Affiliation-hiding envelope and authentication schemes with efficient support for multiple credentials},
BOOKTITLE = {Proceedings of the 35th International Colloquium on Automata, Languages and Programming, ICALP'2008, Part II (Reykjavik, Iceland, July 7-11, 2008)},
SERIES = {LNCS},
VOLUME = {5126},
PAGES = {715-726},
YEAR = {2008},
EDITOR = {Aceto, Luca and Damg{\aa}rd, Ivan and Goldberg, Leslie Ann and Halld{\'o}rsson, Magn{\'u}s M. and Ing{\'o}lfsd{\'o}ttir, Anna and Walukiewicz, Igor},
URL = {http://dx.doi.org/10.1007/978-3-540-70583-3_58},
PUBLISHER = {Springer-Verlag},
ADDRESS = {Berlin-Heidelberg},
}