33,377 research outputs found

    Unifying Simulatability Definitions in Cryptographic Systems under Different Timing Assumptions (Extended Abstract)

    Full text link
    Michael Backes IBM Zurich Research Laboratory, R uschlikon, Switzerland [email protected] R. Amadio and D. Lugiez (Eds.): CONCUR 2003, LCNS ????, pages ??? - ???, September 2003

    MARCELO BACKES. A arte do combate. A literatura alemã em cento e poucas chispas poéticas e outros tantos comentários

    No full text
    Michael J. MARCELO BACKES. A arte do combate. A literatura alemã em cento e poucas chispas poéticas e outros tantos comentários. Margem esquerda. 2004;4:219-221

    A Composable Cryptographic Library with Nested Operations (Extended Abstract)

    No full text
    Michael Backes [email protected] Birgit Pfitzmann [email protected] Michael Waidner [email protected] ABSTRACT We present the first idealized cryptographic library that can be used like the Dolev-Yao model for automated proofs of cryptographic protocols that use nested cryptographic operations, while coming with a cryptographic implementation that is provably secure under active attacks

    Michael Rodriguez interviews fiction writer Michael Kimball

    No full text
    Author Michael Kimball talks about moving away from Michigan to become a successful writer, his education, the fiction reading series he has started in Baltimore, the life-story-on-postcard project, and his book "Dear everybody." Kimball is interviewed by Michigan State University Librarian Michael Rodriguez for the Michigan State University Libraries' Michigan Writers Series

    Michael Rodriguez interviews author Paul Clemens

    No full text
    Author Paul Clemens talks about his book "Made in Detroit," the genre of memoir, and writing about race. Clemens is interviewed by Michigan State University Librarian Michael Rodriguez for the MSU Libraries' Michigan Writers Series. Held in the MSU Main Library

    Michael Rodriguez interviews author Tom Springer

    No full text
    Author Tom Springer is interviewed about his writing career and his newest book "Looking for hickories". Springer talks about his career following after earning an Environmental Journalism degree from Michigan State University. He calls his genre "creative non-fiction" and explains how he weaves his memories into his books about life in rural and wild Michigan. Part of the Michigan State University Libraries' Michigan Writers Series. Springer is interviewed by Librarian Michael Rodriguez

    Michael Rodriguez interviews author Gary Gildner

    No full text
    Author Gary Gildner explains why he left his tenured teaching position to move to Idaho to became a full-time writer of poetry. Gildner talks about donating his personal papers to Michigan State University Libraries' Special Collections, his writing style and how he approaches writing. Gildner is interviewed by MSU Librarian Michael Rodriguez for the MSU Libraries' Michigan Writer Series. Held at the MSU Main Library

    Gold standard of UK degrees is lost in translation

    No full text
    Inflated marks, overworked staff and politically compromised courses are the price of exploiting offshore UK registered students, says Michael Day

    Michael Rodriguez interviews historian and author Keith Widder

    No full text
    Historian and author Keith Widder talks about his move to Michigan from Wisconsin, his career as Curator of History for the Mackinac Island State Park Commission, his research interests, his book "Michigan Agricultural College", and his current projects. Widder is interviewed by Michigan State University Librarian Michael Rodriguez for the MSU Libraries' Michigan Writers Series. Held in the MSU Main Library
    corecore