%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.05",
%%%     date            = "04 February 2014",
%%%     time            = "12:45:37 MST",
%%%     filename        = "lncs2003a.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "63949 3819 13867 156444",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX, bibliography, Lecture Notes in
%%%                        Computer Science",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This is a bibliography of papers published in
%%%                        Lecture Notes in Computer Science
%%%                        (Springer-Verlag) for 2003.
%%%
%%%                        The companion bibliographies lncs2003b.bib,
%%%                        lncs2003c.bib, and lncs2003d.bib cover
%%%                        other volumes for the same year.
%%%
%%%                        Bibliography entries below treat the series
%%%                        as a journal, rather than as conference
%%%                        proceedings.
%%%
%%%                        The companion bibliography lncs.bib lists
%%%                        just the individual volumes in the series,
%%%                        and the lncs19xy*.bib files list individual
%%%                        papers for year 19xy.  The large number of
%%%                        papers in this collection, and limitations
%%%                        in TeX and BibTeX, and in WWW HTTP transfer
%%%                        speeds, necessitate the splitting of the
%%%                        papers bibliographies into yearly files.
%%%
%%%                        At version 1.05, the year coverage looked
%%%                        like this:
%%%
%%%                             2003 ( 201)
%%%
%%%                             Article:        201
%%%
%%%                             Total entries:  201
%%%
%%%                        This bibliography has been constructed
%%%                        primarily from the publisher Web site.
%%%                        Regrettably, final page numbers are not
%%%                        available at that source.
%%%
%%%                        Numerous errors in the sources noted above
%%%                        have been corrected.  Spelling has been
%%%                        verified with the UNIX spell and GNU ispell
%%%                        programs using the exception dictionary
%%%                        stored in the companion file with extension
%%%                        .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation labels were automatically generated
%%%                        by software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        publication order, with the help of ``bibsort
%%%                        -byvolume''.  The bibsort utility is available
%%%                        from ftp.math.utah.edu in /pub/tex/bib.
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\hyphenation{
        Ay-ka-nat
        Giun-chi-glia
        Lakh-neche
        Mal-er-ba
        Mart-el-li
        Reut-e-nau-er
        Thiel-sch-er
        }" #
    "\ifx \undefined \circled \def \circled #1{(#1)}\fi" #
    "\ifx \undefined \mathcal \def \mathcal #1{{\cal #1}}\fi" #
    "\ifx \undefined \mathrm \def \mathrm #1{{\rm #1}}\fi" #
    "\ifx \undefined \reg \def \reg {\circled{R}}\fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-SV                  = "Springer-Verlag Inc."}

@String{pub-SV:adr              = "New York, NY, USA"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNAI                = "Lecture Notes in Artificial Intelligence"}

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Bibliography entries:

@Article{Back:2003:SRB,
  author =       "Ralph-Johan Back",
  title =        "{SFI}: {A} Refinement Based Layered Software
                 Architecture",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "1--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950001.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950001.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2003:DQS,
  author =       "Shaoying Liu",
  title =        "Developing Quality Software Systems Using the {SOFL}
                 Formal Engineering Method",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "3--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950003.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950003.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Hale:2003:MRI,
  author =       "Mark A. Hale",
  title =        "Maintaining Referential Integrity on the {Web}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "20--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950020.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950020.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Jullig:2003:FME,
  author =       "Richard J{\"u}llig",
  title =        "Formal Methods in Enterprise Computing",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "22--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950022.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950022.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Woodcock:2003:UTP,
  author =       "Jim Woodcock and Arthur Hughes",
  title =        "Unifying Theories of Parallel Programming",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "24--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950024.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950024.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Mei:2003:AAA,
  author =       "Hong Mei and Feng Chen and Qianxiang Wang and Yao-Dong
                 Feng",
  title =        "{ABC\slash ADL}: An {ADL} Supporting Component
                 Composition",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "38--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950038.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950038.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zheng:2003:DCO,
  author =       "Hong Zheng and Shi-xian Li",
  title =        "The Description of {CORBA} Objects Based on {Petri}
                 Nets",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "48--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950048.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950048.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Heisel:2003:TFM,
  author =       "Maritta Heisel and Thomas Santen and Jeanine
                 Souqui{\`e}res",
  title =        "Toward a Formal Model of Software Components",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "57--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950057.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950057.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2003:SBS,
  author =       "Jing Liu and Huaikou Miao and Xiaolei Gao",
  title =        "A Specification-Based Software Construction Framework
                 for Reuse",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "69--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950069.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950069.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2003:SCM,
  author =       "Xuejun Chen",
  title =        "Specifying a Component Model for Building Dynamically
                 Reconfigurable Distributed Systems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "80--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950080.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950080.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Alagar:2003:TTS,
  author =       "Vasu Alagar and Ralf L{\"a}mmel",
  title =        "Three-Tiered Specification of Micro-architectures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "92--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950092.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950092.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chang:2003:MAC,
  author =       "Jiayue Chang and Huadong Ma",
  title =        "Modeling the Architecture for Component-Based
                 {E}-commerce System",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "98--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950098.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950098.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cao:2003:CSW,
  author =       "Fei Cao and Barrett R. Bryant and Rajeev R. Raje and
                 Mikhail Auguston and Andrew M. Olson and Carol C.
                 Burt",
  title =        "Component Specification and Wrapper\slash Glue Code
                 Generation with Two-Level Grammar Using Domain Specific
                 Knowledge",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "103--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950103.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950103.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Smith:2003:ASO,
  author =       "Graeme Smith and John Derrick",
  title =        "Abstract Specification in {Object-Z} and {CSP}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "108--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950108.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950108.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Attiogbe:2003:MIA,
  author =       "J. Christian Attiogb{\'e}",
  title =        "Mechanization of an Integrated Approach: Shallow
                 Embedding into {SAL\slash PVS}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "120--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950120.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950120.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Musser:2003:CUC,
  author =       "David R. Musser and Zhiqing Shao",
  title =        "Concept Use or Concept Refinement: An Important
                 Distinction in Building Generic Specifications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "132--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950132.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950132.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Taguchi:2003:OMO,
  author =       "Kenji Taguchi and Jin Song Dong",
  title =        "An Overview of Mobile Object-{Z}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "144--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950144.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950144.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Dong:2003:ZAS,
  author =       "Jin Song Dong and Jing Sun and Hai Wang",
  title =        "{Z} Approach to {Semantic Web}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "156--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950156.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950156.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Qin:2003:HSP,
  author =       "Shengchao Qin and Jifeng He and Zongyan Qiu and
                 Naixiao Zhang",
  title =        "Hardware\slash Software Partitioning in {Verilog}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "168--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950168.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950168.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Pereira:2003:FMS,
  author =       "Adriano Pereira and Mark Song and Gustavo Gorgulho and
                 Wagner {Meira Jr.} and S{\'e}rgio Campos",
  title =        "A Formal Methodology to Specify {E}-commerce Systems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "180--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950180.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950180.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Miller:2003:MBS,
  author =       "Tim Miller and Paul Strooper",
  title =        "Model-Based Specification Animation Using Testgraphs",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "192--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950192.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950192.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Arenas:2003:AMS,
  author =       "Alvaro E. Arenas",
  title =        "An Abstract Model for Scheduling Real-Time Programs",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "204--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950204.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950204.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Mosbahi:2003:SVT,
  author =       "Olfa Mosbahi and Leila Jemni and Samir Ben Ahmed and
                 Jacques Jaray",
  title =        "A Specification and Validation Technique Based on
                 {STATEMATE} and {FNLOG}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "216--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950216.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950216.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Du:2003:FRA,
  author =       "Yuyue Du and Changjun Jiang",
  title =        "Formal Representation and Analysis of Batch Stock
                 Trading Systems by Logical {Petri} Net Workflows",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "221--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950221.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950221.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Huang:2003:CMN,
  author =       "Jinfeng Huang and Ad Verschueren and Henri Aalderink
                 and Johan Lukkien",
  title =        "A Calculus for Mobile Network Systems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "226--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950226.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950226.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Li:2003:MRT,
  author =       "Guangyuan Li and Zhisong Tang",
  title =        "Modelling Real-Time Systems with Continuous-Time
                 Temporal Logic",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "231--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950231.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950231.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2003:CBD,
  author =       "Ying Liu and Naixiao Zhang",
  title =        "On Concept-Based Definition of Domain-Specific
                 Languages",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "237--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950237.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950237.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zhu:2003:FSE,
  author =       "Hong Zhu",
  title =        "Formal Specification of Evolutionary Software Agents",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "249--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950249.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950249.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2003:DDA,
  author =       "Yuan Liu and Baowen Xu and Zhenqiang Chen",
  title =        "Detecting Deadlock in {Ada} Rendezvous Flow Structure
                 Based on Process Algebra",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "262--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950262.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950262.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Yu:2003:FAR,
  author =       "Huiqun Yu and Xudong He and Yi Deng and Lian Mo",
  title =        "Formal Analysis of Real-Time Systems with {SAM}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "275--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950275.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950275.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ng:2003:TSV,
  author =       "Muan Yong Ng and Michael Butler",
  title =        "Tool Support for Visualizing {CSP} in {UML}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "287--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950287.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950287.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Celiku:2003:TPS,
  author =       "Orieta Celiku and Joakim von Wright",
  title =        "Theorem Prover Support for Precondition and
                 Correctness Calculation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "299--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950299.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950299.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Dong:2003:XBS,
  author =       "Jin Song Dong and Yuan Fang Li and Jing Sun and Jun
                 Sun and Hai Wang",
  title =        "{XML}-Based Static Type Checking and Dynamic
                 Visualization for {TCOZ}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "311--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950311.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950311.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Goldson:2003:CBS,
  author =       "Doug Goldson and Greg Reeve and Steve Reeves",
  title =        "{$ \mu $}-Chart-Based Specification and Refinement",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "323--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950323.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950323.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Peuker:2003:TRC,
  author =       "Sibylle Peuker and Ian Hayes",
  title =        "Towards a Refinement Calculus for Concurrent Real-Time
                 Programs",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "335--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950335.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950335.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Duran:2003:RAF,
  author =       "Adolfo Duran and Ana Cavalcanti and Augusto Sampaio",
  title =        "Refinement Algebra for Formal Bytecode Generation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "347--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950347.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950347.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Chen:2003:FMJ,
  author =       "Jessica Chen",
  title =        "Formal Modelling of {Java} {GUI} Event Handling",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "359--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950359.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950359.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Cavalli:2003:NAS,
  author =       "Ana Cavalli and St{\'e}phane Maag",
  title =        "A New Algorithm for Service Interaction Detection",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "371--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950371.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950371.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Plosila:2003:SAC,
  author =       "Juha Plosila and Tiberiu Seceleanu",
  title =        "Specification of an Asynchronous On-chip Bus",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "383--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950383.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950383.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Pang:2003:ASP,
  author =       "Jun Pang",
  title =        "Analysis of a Security Protocol in {$ \mu $CRL}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "396--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950396.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950396.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Davrondjon:2003:DSC,
  author =       "Gafurov Davrondjon and Tomasz Janowski",
  title =        "Developing a Spell-Checker for {Tajik} Using {RAISE}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "401--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950401.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950401.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Shukur:2003:MTT,
  author =       "Zarina Shukur and Abdullah Md. Zin and Ainita Ban",
  title =        "{M2Z}: {A} Tool for Translating a Natural Language
                 Software Specification into {Z}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "406--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950406.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950406.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Anderson:2003:AIT,
  author =       "Hugh Anderson",
  title =        "Abstract Interpretation with a Theorem Prover",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "411--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950411.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950411.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Roychoudhury:2003:FRA,
  author =       "Abhik Roychoudhury",
  title =        "Formal Reasoning about Hardware and Software Memory
                 Models",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "423--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950423.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950423.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wang:2003:SHA,
  author =       "Ji Wang and Wei Dong and Zhi-Chang Qi",
  title =        "Slicing Hierarchical Automata for Model Checking {UML}
                 Statecharts",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "435--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950435.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950435.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zobair:2003:FVS,
  author =       "M. Hasan Zobair and Sofi{\`e}ne Tahar",
  title =        "Formal Verification of a {SONET} Telecom System
                 Block",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "447--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950447.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950447.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Abdel-Hamid:2003:EHV,
  author =       "Amr T. Abdel-Hamid and Sofi{\`e}ne Tahar and John
                 Harrison",
  title =        "Enabling Hardware Verification through Design
                 Changes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "459--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950459.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950459.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Wimmel:2003:SBT,
  author =       "Guido Wimmel and Jan J{\"u}rjens",
  title =        "Specification-Based Test Generation for
                 Security-Critical Systems Using Mutations",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "471--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950471.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950471.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Diab:2003:FDF,
  author =       "Hassan Diab and Marc Frappier and Richard St-Denis",
  title =        "A Formal Definition of Function Points for Automated
                 Measurement of {B} Specifications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "483--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950483.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950483.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Guo:2003:MCT,
  author =       "Fan Guo and YiYun Chen and RongGui Hu",
  title =        "Machine Code Type Safety",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "495--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950495.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950495.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Jiang:2003:FSS,
  author =       "Yan-Bing Jiang and Wei-Zhong Shao and Zhi-Yi Ma and
                 Yao-Dong Feng",
  title =        "On the Formalized Semantics of Static Modeling
                 Elements in {UML}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "500--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950500.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950500.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Hammad:2003:BSU,
  author =       "Ahmed Hammad and Bruno Tatibou{\"e}t and
                 Jean-Christophe Voisinet and Weiping Wu",
  title =        "From a {B} Specification to {UML StateChart}
                 Diagrams",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "511--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950511.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950511.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Miao:2003:FUM,
  author =       "Huaikou Miao and Ling Liu and Li Li",
  title =        "Formalizing {UML} Models with {Object-Z}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "523--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950523.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950523.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Liu:2003:UTS,
  author =       "Zhiming Liu and Xiaoshan Li and Jifeng He",
  title =        "Using Transition Systems to Unify {UML} Models",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "535--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950535.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950535.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Kim:2003:FMA,
  author =       "Soon-Kyeong Kim and David Carrington",
  title =        "A Formal Metamodeling Approach to a Transformation
                 between the {UML} State Machine and {Object-Z}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "548--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950548.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950548.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bordbar:2003:UAD,
  author =       "Behzad Bordbar and John Derrick and Gill Waters",
  title =        "A {UML} Approach to the Design of Open Distributed
                 Systems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "561--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950561.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950561.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Shankar:2003:SMR,
  author =       "Subash Shankar",
  title =        "A Semantic Model of Real-Time {UML}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "573--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950573.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950573.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Ming:2003:ROO,
  author =       "Zhong Ming and Shi-xian Li and Xiu-rong Fang",
  title =        "Research on Ontology-Oriented Domain Analysis on
                 {MIS}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "578--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950578.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950578.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Gan:2003:RDM,
  author =       "Zaobin Gan and Chuanbo Chen and Xiandeng Pei",
  title =        "A Requirements Description Model Based on Conditional
                 Directed Graphs",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "583--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950583.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950583.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Smith:2003:IRS,
  author =       "Graeme Smith",
  title =        "Introducing Reference Semantics via Refinement",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "588--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950588.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950588.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Zhu:2003:SCN,
  author =       "Huibiao Zhu and Jonathan P. Bowen and Jifeng He",
  title =        "Soundness, Completeness and Non-redundancy of
                 Operational Semantics for {Verilog} Based on
                 Denotational Semantics",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "600--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950600.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950600.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Sherif:2003:TTM,
  author =       "Adnan Sherif and Jifeng He",
  title =        "Towards a Time Model for {{\em Circus\/}}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "613--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/bibs/2495/24950613.htm;
                 http://link.springer.de/link/service/series/0558/papers/2495/24950613.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Anonymous:2003:AIg,
  author =       "Anonymous",
  title =        "Author Index",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2495",
  pages =        "625--??",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 20:57:09 MST 2002",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htm;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.de/link/service/series/0558/papers/2495/2495auth.pdf",
  acknowledgement = ack-nhfb,
}

@Article{Bellare:2003:FSP,
  author =       "Mihir Bellare and Bennet Yee",
  title =        "Forward-Security in Private-Key Cryptography",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "1--18",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Dodis:2003:IRP,
  author =       "Yevgeniy Dodis and Matt Franklin and Jonathan Katz and
                 Atsuko Miyaji and Moti Yung",
  title =        "Intrusion-Resilient Public-Key Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "19--32",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Kurosawa:2003:TTK,
  author =       "Kaoru Kurosawa and Tetsu Iwata",
  title =        "{TMAC}: Two-Key {CBC MAC}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "33--49",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Whiting:2003:MPH,
  author =       "Douglas L. Whiting and Michael J. Sabin",
  title =        "{Montgomery} Prime Hashing for Message
                 Authentication",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "50--67",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Lee:2003:APS,
  author =       "Jung-Yeun Lee and Jung Hee Cheon and Seungjoo Kim",
  title =        "An Analysis of Proxy Signatures: Is a Secure Channel
                 Necessary?",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "68--79",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Galbraith:2003:IAU,
  author =       "Steven D. Galbraith and Wenbo Mao",
  title =        "Invisibility and Anonymity of Undeniable and Confirmer
                 Signatures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "80--97",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Boneh:2003:SSS,
  author =       "Dan Boneh and Ilya Mironov and Victor Shoup",
  title =        "A Secure Signature Scheme from Bilinear Maps",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "98--110",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Smart:2003:ACU,
  author =       "Nigel P. Smart",
  title =        "Access Control Using Pairing Based Cryptography",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "111--121",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Hoffstein:2003:NDS,
  author =       "Jeffrey Hoffstein and Nick Howgrave-Graham and Jill
                 Pipher and Joseph H. Silverman and William Whyte",
  title =        "{NTRUSIGN}: Digital Signatures Using the {NTRU}
                 Lattice",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "122--140",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Courtois:2003:AXA,
  author =       "Nicolas T. Courtois and Jacques Patarin",
  title =        "About the {XL} Algorithm over $ {GF}(2) $",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "141--157",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Bertoni:2003:EAA,
  author =       "Guido Bertoni and Jorge Guajardo and Sandeep Kumar and
                 Gerardo Orlando and Christof Paar and Thomas
                 Wollinger",
  title =        "Efficient $ {GF}(p^m) $ Arithmetic Architectures for
                 Cryptographic Applications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "158--175",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Xiao:2003:HPC,
  author =       "Lu Xiao and Howard M. Heys",
  title =        "Hardware Performance Characterization of Block Cipher
                 Structures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "176--192",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Ding:2003:SIB,
  author =       "Xuhua Ding and Gene Tsudik",
  title =        "Simple Identity-Based Cryptography with Mediated
                 {RSA}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "193--210",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Malone-Lee:2003:TBO,
  author =       "John Malone-Lee and Wenbo Mao",
  title =        "Two Birds One Stone: Signcryption Using {RSA}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "211--225",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Berson:2003:CAB,
  author =       "Tom Berson",
  title =        "Cryptography after the Bubble: How to Make an Impact
                 on the World",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "226--226",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Kim:2003:RCC,
  author =       "Seungjoo Kim and Masahiro Mambo and Yuliang Zheng",
  title =        "Rethinking Chosen-Ciphertext Security under
                 {Kerckhoffs}' Assumption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "227--243",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Moller:2003:PSP,
  author =       "Bodo M{\"o}ller",
  title =        "Provably Secure Public-Key Encryption for
                 Length-Preserving {Chaumian} Mixes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "244--262",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{DArco:2003:FTD,
  author =       "Paolo D'Arco and Douglas R. Stinson",
  title =        "Fault Tolerant and Distributed Broadcast Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "263--280",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Wang:2003:SGP,
  author =       "Huaxiong Wang and Josef Pieprzyk",
  title =        "Shared Generation of Pseudo-Random Functions with
                 Cumulative Maps",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "281--294",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Goodrich:2003:ADS,
  author =       "Michael T. Goodrich and Roberto Tamassia and Nikos
                 Triandopoulos and Robert Cohen",
  title =        "Authenticated Data Structures for Graph and Geometric
                 Searching",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "295--313",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Jakobsson:2003:FMT,
  author =       "Markus Jakobsson and Tom Leighton and Silvio Micali
                 and Michael Szydlo",
  title =        "Fractal {Merkle} Tree Representation and Traversal",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "314--326",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Shamir:2003:RS,
  author =       "Adi Shamir",
  title =        "{RSA} Shortcuts",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "327--327",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Okeya:2003:WNM,
  author =       "Katsuyuki Okeya and Tsuyoshi Takagi",
  title =        "The Width-$w$ {NAF} Method Provides Small Memory and
                 Fast Elliptic Scalar Multiplications Secure against
                 Side Channel Attacks",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "328--342",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Montgomery:2003:FEC,
  author =       "Peter L. Montgomery and Kirsten Eisentr{\"a}ger and
                 Kristin Lauter",
  title =        "Fast Elliptic Curve Arithmetic and Improved {Weil}
                 Pairing Evaluation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "343--354",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Xu:2003:TEP,
  author =       "Shouhuai Xu and Ravi Sandhu",
  title =        "Two Efficient and Provably Secure Schemes for
                 Server-Assisted Threshold Signatures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "355--372",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Gennaro:2003:SAP,
  author =       "Rosario Gennaro and Stanislaw Jarecki and Hugo
                 Krawczyk and Tal Rabin",
  title =        "Secure Applications of {Pedersen}'s Distributed Key
                 Generation Protocol",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "373--390",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Walter:2003:STM,
  author =       "Colin D. Walter",
  title =        "Seeing through {MIST} Given a Small Fraction of an
                 {RSA} Private Key",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "391--402",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Crepeau:2003:SBR,
  author =       "Claude Cr{\'e}peau and Alain Slakmon",
  title =        "Simple Backdoors for {RSA} Key Generation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2612",
  pages =        "403--416",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:46:22 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "cryptology; Topics in Cryptology CT-RSA 2003",
}

@Article{Anonymous:2003:FM,
  author =       "Anonymous",
  title =        "Front Matter",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "i--xiv",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/bfm:978-3-540-39200-2/1.pdf",
  acknowledgement = ack-nhfb,
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Joux:2003:CEM,
  author =       "Antoine Joux",
  title =        "Cryptanalysis of the {EMD} Mode of Operation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "1--16",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_1.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Junod:2003:OLD,
  author =       "Pascal Junod",
  title =        "On the Optimality of Linear, Differential, and
                 Sequential Distinguishers",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "17--32",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_2.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Biryukov:2003:TCL,
  author =       "Alex Biryukov and Christophe {De Canni{\`e}re} and An
                 Braeken and Bart Preneel",
  title =        "A Toolbox for Cryptanalysis: Linear and Affine
                 Equivalence Algorithms",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "33--50",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_3.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Fitzi:2003:TTB,
  author =       "Matthias Fitzi and Martin Hirt and Thomas Holenstein
                 and J{\"u}rg Wullschleger",
  title =        "Two-Threshold Broadcast and Detectable Multi-party
                 Computation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "51--67",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_4.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Canetti:2003:LUC,
  author =       "Ran Canetti and Eyal Kushilevitz and Yehuda Lindell",
  title =        "On the Limitations of Universally Composable Two-Party
                 Computation without Set-up Assumptions",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "68--86",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_5.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Pinkas:2003:FST,
  author =       "Benny Pinkas",
  title =        "Fair Secure Two-Party Computation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "87--105",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_6.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Gaj:2003:FME,
  author =       "Kris Gaj and Arkadiusz Or{\l}owski",
  title =        "Facts and Myths of {Enigma}: Breaking Stereotypes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "106--122",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_7.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Zhao:2003:RZK,
  author =       "Yunlei Zhao and Xiaotie Deng and C. H. Lee and Hong
                 Zhu",
  title =        "Resettable Zero-Knowledge in the Weak Public-Key
                 Model",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "123--139",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_8.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Micciancio:2003:SCE,
  author =       "Daniele Micciancio and Erez Petrank",
  title =        "Simulatable Commitments and Efficient Concurrent
                 Zero-Knowledge",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "140--159",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_9.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Pass:2003:SQP,
  author =       "Rafael Pass",
  title =        "Simulation in Quasi-Polynomial Time, and Its
                 Application to Protocol Composition",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "160--176",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_10",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_10.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Garay:2003:SZK,
  author =       "Juan A. Garay and Philip MacKenzie and Ke Yang",
  title =        "Strengthening Zero-Knowledge Protocols Using
                 Signatures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "177--194",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_11",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_11.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Hast:2003:NOS,
  author =       "Gustav Hast",
  title =        "Nearly One-Sided Tests and the {Goldreich--Levin}
                 Predicate",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "195--210",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_12",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_12.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Katz:2003:ENM,
  author =       "Jonathan Katz",
  title =        "Efficient and Non-malleable Proofs of Plaintext
                 Knowledge and Applications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "211--228",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_13",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_13.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Augot:2003:PKE,
  author =       "Daniel Augot and Matthieu Finiasz",
  title =        "A Public Key Encryption Scheme Based on the Polynomial
                 Reconstruction Problem",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "229--240",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_14",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_14.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Lindell:2003:SCC,
  author =       "Yehuda Lindell",
  title =        "A Simpler Construction of {CCA2}-Secure Public-Key
                 Encryption under General Assumptions",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "241--254",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_15",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_15.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Canetti:2003:FSP,
  author =       "Ran Canetti and Shai Halevi and Jonathan Katz",
  title =        "A Forward-Secure Public-Key Encryption Scheme",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "255--271",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_16",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_16.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Gentry:2003:CBE,
  author =       "Craig Gentry",
  title =        "Certificate-Based Encryption and the Certificate
                 Revocation Problem",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "272--293",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_17",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_17.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{vonAhn:2003:CUH,
  author =       "Luis von Ahn and Manuel Blum and Nicholas J. Hopper
                 and John Langford",
  title =        "{CAPTCHA}: Using Hard {AI} Problems for Security",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "294--311",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_18",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_18.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Dodis:2003:CAA,
  author =       "Yevgeniy Dodis and Jee Hea An",
  title =        "Concealment and Its Applications to Authenticated
                 Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "312--329",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_19",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_19.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Ekdahl:2003:PSG,
  author =       "Patrik Ekdahl and Willi Meier and Thomas Johansson",
  title =        "Predicting the Shrinking Generator with Fixed
                 Connections",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "330--344",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_20",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:24 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_20.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Courtois:2003:AAS,
  author =       "Nicolas T. Courtois and Willi Meier",
  title =        "Algebraic Attacks on Stream Ciphers with Linear
                 Feedback",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "345--359",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_21",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_21.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Lercier:2003:CPE,
  author =       "Reynald Lercier and David Lubicz",
  title =        "Counting Points on Elliptic Curves over Finite Fields
                 of Small Characteristic in Quasi Quadratic Time",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "360--373",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_22",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_22.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Hess:2003:GAR,
  author =       "Florian Hess",
  title =        "The {GHS} Attack Revisited",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "374--387",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_23",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_23.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Ciet:2003:IAE,
  author =       "Mathieu Ciet and Tanja Lange and Francesco Sica and
                 Jean-Jacques Quisquater",
  title =        "Improved Algorithms for Efficient Arithmetic on
                 Elliptic Curves Using Fast Endomorphisms",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "388--400",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_24",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_24.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Goh:2003:SSS,
  author =       "Eu-Jin Goh and Stanis{\l}aw Jarecki",
  title =        "A Signature Scheme as Secure as the {Diffie--Hellman}
                 Problem",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "401--415",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_25",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_25.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Boneh:2003:AVE,
  author =       "Dan Boneh and Craig Gentry and Ben Lynn and Hovav
                 Shacham",
  title =        "Aggregate and Verifiably Encrypted Signatures from
                 Bilinear Maps",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "416--432",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_26",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_26.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Szydlo:2003:HLR,
  author =       "Michael Szydlo",
  title =        "Hypercubic Lattice Reduction and Analysis of {GGH} and
                 {NTRU} Signatures",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "433--448",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_27",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_27.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Stern:2003:WPS,
  author =       "Jacques Stern",
  title =        "Why Provable Security Matters?",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "449--461",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_28",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_28.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Fouque:2003:SR,
  author =       "Pierre-Alain Fouque and Guillaume Poupard",
  title =        "On the Security of {RDSA}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "462--476",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_29",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_29.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Lee:2003:CPK,
  author =       "Eonkyung Lee and Je Hong Park",
  title =        "Cryptanalysis of the Public-Key Encryption Based on
                 Braid Groups",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "477--490",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_30",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_30.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Bellare:2003:TTR,
  author =       "Mihir Bellare and Tadayoshi Kohno",
  title =        "A Theoretical Treatment of Related-Key Attacks:
                 {RKA-PRPs}, {RKA-PRFs}, and Applications",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "491--506",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_31",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_31.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{DiRaimondo:2003:PST,
  author =       "Mario {Di Raimondo} and Rosario Gennaro",
  title =        "Provably Secure Threshold Password-Authenticated Key
                 Exchange",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "507--523",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_32",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_32.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Gennaro:2003:FPB,
  author =       "Rosario Gennaro and Yehuda Lindell",
  title =        "A Framework for Password-Based Authenticated Key
                 Exchange",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "524--543",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_33",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_33.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Maurer:2003:SMR,
  author =       "Ueli Maurer and Krzysztof Pietrzak",
  title =        "The Security of Many-Round {Luby--Rackoff}
                 Pseudo-Random Permutations",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "544--561",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_34",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/cryptography2000.bib;
                 http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_34.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Renner:2003:NBS,
  author =       "Renato Renner and Stefan Wolf",
  title =        "New Bounds in Secret-Key Agreement: The Gap between
                 Formation and Secrecy Extraction",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "562--577",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_35",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_35.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Katz:2003:REM,
  author =       "Jonathan Katz and Rafail Ostrovsky and Adam Smith",
  title =        "Round Efficiency of Multi-party Computation with a
                 Dishonest Majority",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "578--595",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_36",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_36.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Cramer:2003:EMP,
  author =       "Ronald Cramer and Serge Fehr and Yuval Ishai and Eyal
                 Kushilevitz",
  title =        "Efficient Multi-party Computation over Rings",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "596--613",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_37",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_37.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Bellare:2003:FGS,
  author =       "Mihir Bellare and Daniele Micciancio and Bogdan
                 Warinschi",
  title =        "Foundations of Group Signatures: Formal Definitions,
                 Simplified Requirements, and a Construction Based on
                 General Assumptions",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "614--629",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_38",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_38.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Kiayias:2003:EGS,
  author =       "Aggelos Kiayias and Moti Yung",
  title =        "Extracting Group Signatures from Traitor Tracing
                 Schemes",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "630--648",
  year =         "2003",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/3-540-39200-9_39",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/10.1007/3-540-39200-9_39.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Anonymous:2003:BM,
  author =       "Anonymous",
  title =        "Back Matter",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2656",
  pages =        "649--649",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Sat Nov 30 11:39:42 MST 2013",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  URL =          "http://link.springer.com/content/pdf/bbm:978-3-540-39200-2/1.pdf",
  acknowledgement = ack-nhfb,
  book-DOI =     "http://dx.doi.org/10.1007/3-540-39200-9",
  book-URL =     "http://www.springerlink.com/content/978-3-540-39200-2",
  fjournal =     "Lecture Notes in Computer Science",
}

@Article{Shamir:2003:FLN,
  author =       "Adi Shamir and Eran Tromer",
  title =        "Factoring Large Numbers with the {TWIRL} Device",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "1--26",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Blomer:2003:NPK,
  author =       "Johannes Bl{\"o}mer and Alexander May",
  title =        "New Partial Key Exposure Attacks on {RSA}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "27--43",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Faugere:2003:ACH,
  author =       "Jean-Charles Faug{\`e}re and Antoine Joux",
  title =        "Algebraic Cryptanalysis of {Hidden Field Equation
                 (HFE)} Cryptosystems Using {Gr{\"o}bner} Bases",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "44--60",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Vadhan:2003:CLC,
  author =       "Salil P. Vadhan",
  title =        "On Constructing Locally Computable Extractors and
                 Cryptosystems in the Bounded Storage Model",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "61--77",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Renner:2003:UAP,
  author =       "Renato Renner and Stefan Wolf",
  title =        "Unconditional Authenticity and Privacy from an
                 Arbitrarily Weak Secret",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "78--95",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Naor:2003:CAC,
  author =       "Moni Naor",
  title =        "On Cryptographic Assumptions and Challenges",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "96--109",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Katz:2003:SPA,
  author =       "Jonathan Katz and Moti Yung",
  title =        "Scalable Protocols for Authenticated Group Key
                 Exchange",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "110--125",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Camenisch:2003:PVE,
  author =       "Jan Camenisch and Victor Shoup",
  title =        "Practical Verifiable Encryption and Decryption of
                 Discrete Logarithms",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "126--144",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Ishai:2003:EOT,
  author =       "Yuval Ishai and Joe Kilian and Kobbi Nissim and Erez
                 Petrank",
  title =        "Extending Oblivious Transfers Efficiently",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "145--161",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Armknecht:2003:AAC,
  author =       "Frederik Armknecht and Matthias Krause",
  title =        "Algebraic Attacks on Combiners with Memory",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "162--175",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Courtois:2003:FAA,
  author =       "Nicolas T. Courtois",
  title =        "Fast Algebraic Attacks on Stream Ciphers with Linear
                 Feedback",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "176--194",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Biryukov:2003:CS,
  author =       "Alex Biryukov and Christophe De Canni{\`e}re and
                 Gustaf Dellkrantz",
  title =        "Cryptanalysis of {Safer++}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "195--211",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Cheon:2003:PTA,
  author =       "Jung Hee Cheon and Byungheup Jun",
  title =        "A Polynomial Time Algorithm for the Braid
                 {Diffie--Hellman} Conjugacy Problem",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "212--225",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Howgrave-Graham:2003:IDF,
  author =       "Nick Howgrave-Graham and Phong Q. Nguyen and David
                 Pointcheval and John Proos and Joseph H. Silverman and
                 Ari Singer and William Whyte",
  title =        "The Impact of Decryption Failures on the Security of
                 {NTRU} Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "226--246",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Damgaard:2003:UCE,
  author =       "Ivan Damg{\aa}rd and Jesper Buus Nielsen",
  title =        "Universally Composable Efficient Multiparty
                 Computation from Threshold Homomorphic Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "247--264",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Canetti:2003:UCJ,
  author =       "Ran Canetti and Tal Rabin",
  title =        "Universal Composition with Joint State",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "265--281",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Micciancio:2003:SZK,
  author =       "Daniele Micciancio and Salil P. Vadhan",
  title =        "Statistical Zero-Knowledge Proofs with Efficient
                 Provers: Lattice Problems and More",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "282--298",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Barak:2003:DC,
  author =       "Boaz Barak and Shien Jin Ong and Salil Vadhan",
  title =        "Derandomization in Cryptography",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "299--315",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Pass:2003:DCR,
  author =       "Rafael Pass",
  title =        "On Deniability in the Common Reference String and
                 Random Oracle Model",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "316--337",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Cheng:2003:PPO,
  author =       "Qi Cheng",
  title =        "Primality Proving via One Round in {ECPP} and One
                 Iteration in {AKS}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "338--348",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Rubin:2003:TBC,
  author =       "Karl Rubin and Alice Silverberg",
  title =        "Torus-Based Cryptography",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "349--365",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Komano:2003:EUP,
  author =       "Yuichi Komano and Kazuo Ohta",
  title =        "Efficient Universal Padding Techniques for
                 Multiplicative Trapdoor One-Way Permutation",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "366--382",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Boyen:2003:MIB,
  author =       "Xavier Boyen",
  title =        "Multipurpose Identity-Based Signcryption: {A} {Swiss
                 Army} Knife for Identity-Based Cryptography",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "383--399",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Krawczy:2003:SSM,
  author =       "Hugo Krawczy",
  title =        "{SIGMA}: The ``{SIGn-and-MAc}'' Approach to
                 Authenticated {Diffie--Hellman} and Its Use in the
                 {IKE} Protocols",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "400--425",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Dwork:2003:MBF,
  author =       "Cynthia Dwork and Andrew Goldberg and Moni Naor",
  title =        "On Memory-Bound Functions for Fighting Spam",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "426--444",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Buchbinder:2003:LUB,
  author =       "Niv Buchbinder and Erez Petrank",
  title =        "Lower and Upper Bounds on Obtaining History
                 Independence",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "445--462",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Ishai:2003:PCS,
  author =       "Yuval Ishai and Amit Sahai and David Wagner",
  title =        "Private Circuits: Securing Hardware against Probing
                 Attacks",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "463--481",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Halevi:2003:TEM,
  author =       "Shai Halevi and Phillip Rogaway",
  title =        "A Tweakable Enciphering Mode",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "482--499",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Cary:2003:MAC,
  author =       "Matthew Cary and Ramarathnam Venkatesan",
  title =        "A Message Authentication Code Based on Unimodular
                 Matrix Groups",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "500--512",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Patarin:2003:LRR,
  author =       "Jacques Patarin",
  title =        "{Luby--Rackoff}: $7$ Rounds Are Enough for Security",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "513--529",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Horvitz:2003:WKA,
  author =       "Omer Horvitz and Virgil Gligor",
  title =        "Weak Key Authenticity and the Computational
                 Completeness of Formal Encryption",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "530--547",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Herzog:2003:PAK,
  author =       "Jonathan Herzog and Moses Liskov and Silvio Micali",
  title =        "Plaintext Awareness via Key Registration",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "548--564",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Canetti:2003:RCC,
  author =       "Ran Canetti and Hugo Krawczyk and Jesper B. Nielsen",
  title =        "Relaxing Chosen-Ciphertext Security",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "565--582",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Canvel:2003:PIS,
  author =       "Brice Canvel and Alain Hiltgen and Serge Vaudenay and
                 Martin Vuagnoux",
  title =        "Password Interception in a {SSL\slash TLS} Channel",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "583--599",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Barkan:2003:ICO,
  author =       "Elad Barkan and Eli Biham and Nathan Keller",
  title =        "Instant Ciphertext-Only Cryptanalysis of {GSM}
                 Encrypted Communication",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "600--616",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Oechslin:2003:MFC,
  author =       "Philippe Oechslin",
  title =        "Making a Faster Cryptanalytic Time-Memory Trade-Off",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2729",
  pages =        "617--630",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 08:39:42 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "Crypto' 2003; cryptography",
}

@Article{Stajano:2003:SCU,
  author =       "Frank Stajano",
  title =        "The Security Challenges of Ubiquitous Computing",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "1--1",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Agrawal:2003:MCA,
  author =       "Dakshi Agrawal and Josyula R. Rao and Pankaj Rohatgi",
  title =        "Multi-channel Attacks",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "2--16",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Karlof:2003:HMM,
  author =       "Chris Karlof and David Wagner",
  title =        "Hidden {Markov} Model Cryptanalysis",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "17--34",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Ors:2003:PAA,
  author =       "S{\i}dd{\i}ka Berna {\"O}rs and Elisabeth Oswald and
                 Bart Preneel",
  title =        "Power-Analysis Attacks on an {FPGA} --- First
                 Experimental Results",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "35--50",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Geiselmann:2003:HSS,
  author =       "Willi Geiselmann and Rainer Steinwandt",
  title =        "Hardware to Solve Sparse Systems of Linear Equations
                 over {$ \mathrm {GF}(2) $}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "51--61",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Tsunoo:2003:CIC,
  author =       "Yukiyasu Tsunoo and Teruo Saito and Tomoyasu Suzaki
                 and Maki Shigeri and Hiroshi Miyauchi",
  title =        "Cryptanalysis of {DES} Implemented on Computers with
                 Cache",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "62--76",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Piret:2003:DFA,
  author =       "Gilles Piret and Jean-Jacques Quisquater",
  title =        "A Differential Fault Attack Technique against {SPN}
                 Structures, with Application to the {AES} and
                 {KHAZAD}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "77--88",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Coron:2003:NAS,
  author =       "Jean-S{\'e}bastien Coron and Alexei Tchulkine",
  title =        "A New Algorithm for Switching from Arithmetic to
                 {Boolean} Masking",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "89--97",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Golic:2003:DNP,
  author =       "Jovan D. Goli{\'c}",
  title =        "{DeKaRT}: {A} New Paradigm for Key-Dependent
                 Reversible Circuits",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "98--112",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Karri:2003:PBC,
  author =       "Ramesh Karri and Grigori Kuznetsov and Michael
                 Goessel",
  title =        "Parity-Based Concurrent Error Detection of
                 Substitution-Permutation Network Block Ciphers",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "113--124",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Tiri:2003:SEA,
  author =       "Kris Tiri and Ingrid Verbauwhede",
  title =        "Securing Encryption Algorithms against {DPA} at the
                 Logic Level: Next Generation {Smart Card} Technology",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "125--136",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Fournier:2003:SEA,
  author =       "Jacques J. A. Fournier and Simon Moore and Huiyun Li
                 and Robert Mullins and George Taylor",
  title =        "Security Evaluation of Asynchronous Circuits",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "137--151",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Epstein:2003:DIT,
  author =       "Michael Epstein and Laszlo Hars and Raymond Krasinski
                 and Martin Rosner and Hao Zheng",
  title =        "Design and Implementation of a True Random Number
                 Generator Based on Digital Circuit Artifacts",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "152--165",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Barak:2003:TRN,
  author =       "Boaz Barak and Ronen Shaltiel and Eran Tromer",
  title =        "True Random Number Generators Secure in a Changing
                 Environment",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "166--180",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Dichtl:2003:HPO,
  author =       "Markus Dichtl",
  title =        "How to Predict the Output of a Hardware Random Number
                 Generator",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "181--188",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Reyhani-Masoleh:2003:LCB,
  author =       "Arash Reyhani-Masoleh and M. Anwar Hasan",
  title =        "On Low Complexity Bit Parallel Polynomial Basis
                 Multipliers",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "189--202",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Dhem:2003:EMR,
  author =       "Jean-Fran{\c{c}}ois Dhem",
  title =        "Efficient Modular Reduction Algorithm in and Its
                 Application to ``Left to Right'' Modular Multiplication
                 in",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "203--213",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Chevallier-Mames:2003:FDS,
  author =       "Beno{\^\i}t Chevallier-Mames and Marc Joye and Pascal
                 Paillierinst",
  title =        "Faster Double-Size Modular Multiplication from
                 {Euclidean} Multipliers",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "214--227",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Kwon:2003:EEC,
  author =       "Soonhak Kwon and Chang Hoon Kim and Chun Pyo Hong",
  title =        "Efficient Exponentiation for a Class of Finite Fields
                 {$ \mathrm {GF}(2^n) $} Determined by {Gauss} Periods",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "228--242",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Joye:2003:GFA,
  author =       "Marc Joye and Pascal Paillier",
  title =        "{GCD}-Free Algorithms for Computing Modular Inverses",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "243--253",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Fouque:2003:AUR,
  author =       "Pierre-Alain Fouque and Gwena{\"e}lle Martinet and
                 Guillaume Poupard",
  title =        "Attacking Unbalanced {RSA--CRT} Using {SPA}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "254--268",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Fouque:2003:DAW,
  author =       "Pierre-Alain Fouque and Frederic Valette",
  title =        "The Doubling Attack --- Why Upwards Is Better than
                 Downwards",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "269--280",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Smart:2003:AGR,
  author =       "Nigel P. Smart",
  title =        "An Analysis of {Goubin}'s Refined Power Analysis
                 Attack",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "281--290",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Cathalo:2003:NTT,
  author =       "Julien Cathalo and Fran{\c{c}}ois Koeune and
                 Jean-Jacques Quisquater",
  title =        "A New Type of Timing Attack: Application to {GPS}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "291--303",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Satoh:2003:UHA,
  author =       "Akashi Satoh and Sumio Morioka",
  title =        "Unified Hardware Architecture for 128-Bit Block
                 Ciphers {AES} and {Camellia}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "304--318",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Chodowiec:2003:VCF,
  author =       "Pawe{\l} Chodowiec and Kris Gaj",
  title =        "Very Compact {FPGA} Implementation of the {AES}
                 Algorithm",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "319--333",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Standaert:2003:EIR,
  author =       "Francois-Xavier Standaert and Gael Rouvroy and
                 Jean-Jacques Quisquater and Jean-Didier Legat",
  title =        "Efficient Implementation of {Rijndael} Encryption in
                 Reconfigurable Hardware: {Improvements} and Design
                 Tradeoffs",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "334--350",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Pelzl:2003:HCC,
  author =       "Jan Pelzl and Thomas Wollinger and Jorge Guajardo and
                 Christof Paar",
  title =        "Hyperelliptic Curve Cryptosystems: {Closing} the
                 Performance Gap to Elliptic Curves",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "351--365",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Avanzi:2003:CAD,
  author =       "Roberto M. Avanzi",
  title =        "Countermeasures against Differential Power Analysis
                 for Hyperelliptic Curve Cryptosystems",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "366--381",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Itoh:2003:PCA,
  author =       "Kouichi Itoh and Tetsuya Izu and Masahiko Takenaka",
  title =        "A Practical Countermeasure against Address-Bit
                 Differential Power Analysis",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "382--396",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Okeya:2003:MFC,
  author =       "Katsuyuki Okeya and Tsuyoshi Takagi",
  title =        "A More Flexible Countermeasure against Side Channel
                 Attacks Using Window Method",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "397--410",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Clulow:2003:SP,
  author =       "Jolyon Clulow",
  title =        "On the Security of {PKCS \#11}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "411--425",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}

@Article{Klima:2003:ARB,
  author =       "Vlastimil Kl{\'\i}ma and Ondrej Pokorn{\'y} and
                 Tom{\'a} {\v{s}} Rosa",
  title =        "Attacking {RSA}-Based Sessions in {SSL\slash TLS}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "2779",
  pages =        "426--440",
  year =         "2003",
  CODEN =        "LNCSD9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Tue Apr 4 18:12:50 2006",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2003a.bib",
  acknowledgement = ack-nhfb,
  keywords =     "CHES 2003; cryptography",
}