Welcome to Peter Gemmell's home page

• cryptography ,
• software surety -- program result checking ,
• algorithms.

• Cryptography
  • "Proactive RSA"
    with Yair Frankel, Philip MacKenzie, and Moti Yung
    
  • "Witness-based Cryptographic Program Checking"
    with Yair Frankel and Moti Yung
    1996 Symposium on the Theory of Computation
  • "Trustee-traceable Electronic Cash and the Making of Anonymous Change"
    with Ernie Brickell and David Kravitz
    1995 Symposium on Discrete Algorithms
  • "Codes for Interactive Authentication"
    with Moni Naor
    Crypto 93 and submitted by invitation to the Journal of Cryptology

• Software Surety/Program Result Checking
  • "Self-Testing/Correcting for Approximate Functions"
    with Sigal Ar, Manuel Blum , and Bruno Codenotti
    Symposium on the Theory of Computer Science, 1993
  • "Highly resilient correctors for polynomials"
    with Madhu Sudan
    Information Processing Letters
  • "Self-Correcting for Function Fields of Finite Transcendental Degree"
    with Manuel Blum , Bruno Codenotti , and Troy Shahoumian ,
    International Conference on Programming, Languanges, and Automata, 1995
  • "Checking the Correctness of Memories"
    with Manuel Blum , Will Evans , Sampath Kannan , and Moni Naor
    Foundations of Computer Science, 1991 and Algorithmica
  • "Self-Testing/Correcting for Polynomials and for Approximate Functions"
    with Richard Lipton , Ronitt Rubinfeld , Madhu Sudan, and Avi Widgerson
    Symposium on the Theory of Computer Science, 1991

• Algorithms
  • "Symmetry Breaking in Anonymous Networks"
    with Bruno Codenotti and Janos Simon
  • "Selection in the Presence of Noise: The Design of Playoff Systems"
    with Micah Adler , Mor Harchol-Balter , Richard Karp , and Claire Kenyon
    Symposium on Discrete Algorithms, 1994
  • "Average Circuit Depth and Average Communication Complexity"
    with Bruno Codenotti and Janos Simon
    European Symposium on Algorithms, 1995
  • "Tight Bounds on the Expected Time to Add Correctly and Add Mostly Correctly"
    with Mor Harchol-Balter ,
    Information Processing Letters

Some web pages that I think are interesting:

• Kevin McCurley's list of crypto people.
• Other useful sites.

• Send email to me at my UNM email address
• Office Phone: (505) 277-6509
• Cellular Phone: (505) 720-5910
• Fax: (505) 277-6927
• Mailing address:

  Peter Gemmell
  Computer Science department
  University of New Mexico
  Albuquerque NM 87131
  U.S.A.