To: seminaire@pauillac.inria.fr
From: Didier.Remy@inria.fr
Subject: SEM - INRIA : Mosvova - 25/04/01 - Paris - FR

      Vous pouvez maintenant vous abonner à nos annonces de séminaires
             http://pauillac.inria.fr/seminaires/subscribe.html


                             S E M I N A I R E
                                         . ___ 
                           /   _   _      /   _   /
                          /   / \ / \  / /   __| /
                         |___ |_/ |_/ / |__ |_/ |_
       ___      .                  /    
      /    ___   __  /_  _   /   _/        /| /|  _   __ __ _       _ 
     /    /   / /_  /   __| /             / |/ | / \ /_ /  / \ | / __|
    |___ /   / __/ |_  |_/ |_            /     | |_/__/ |_ |_/ |/ |_/
                                                
                          I N R I A - Rocquencourt
                       Salle de conference du Bat 11

                           Mercredi 25 avril, 14h

                                ------------
                                Martin Abadi
                                ------------

                                 Intertrust

                   =====================================
                   Reconciling Two Views of Cryptography
                   =====================================


    Two  distinct, rigorous views  of cryptography  have developed  over the
    years, in two mostly separate communities.  One of the views relies on a
    simple  but  effective  formal   approach;  the  other,  on  a  detailed
    computational   model   that   considers   issues  of   complexity   and
    probability. There is an uncomfortable and interesting gap between these
    two approaches to  cryptography.  In this talk, we  discuss this gap and
    start  to bridge  it by  providing a  computational justification  for a
    formal treatment of encryption.

    This talk is based on joint work with Phillip Rogaway.