Bruno

Results: 3770



#Item
701

ProVerif 1.85: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial Bruno Blanchet1 and Ben Smyth1,2 1´

Add to Reading List

Source URL: bensmyth.com

Language: English - Date: 2013-08-30 04:11:49
    702

    Eurographics Symposium on Parallel Graphics and VisualizationAlan Heirich, Bruno Raffin, and Luis Paulo dos Santos (Editors) Dynamic Load Balancing for Parallel Volume Rendering Stéphane Marchesin and Catherine

    Add to Reading List

    Source URL: dpt-info.u-strasbg.fr

    Language: English - Date: 2006-09-22 03:17:12
      703

      Automated Security Proofs with Sequences of Games Bruno Blanchet and David Pointcheval CNRS, D´epartement d’Informatique, ´ Ecole

      Add to Reading List

      Source URL: prosecco.gforge.inria.fr

      Language: English - Date: 2012-10-01 07:25:51
        704

        Automatic Verification of Cryptographic Protocols in the Formal Model Automatic Verifier ProVerif Bruno Blanchet ´ CNRS, Ecole

        Add to Reading List

        Source URL: prosecco.gforge.inria.fr

        Language: English - Date: 2012-10-01 07:25:57
          705

          Model-Based Vulnerability Testing for Web Applications Franck Lebeau∗ , Bruno Legeard∗† , Fabien Peureux∗ and Alexandre Vernotte∗ ∗ FEMTO-ST Institute - DISC department - UMR CNRS 6174

          Add to Reading List

          Source URL: www.spacios.eu

          Language: English - Date: 2013-03-01 18:57:54
            706

            ProVerif 1.91: Automatic Cryptographic Protocol Verifier, User Manual and Tutorial Bruno Blanchet, Ben Smyth, and Vincent Cheval , , September 9, 2015

            Add to Reading List

            Source URL: bensmyth.com

            Language: English - Date: 2015-09-10 05:06:51
              707

              RELAÇÕES DE TRANSVERSALIDADE PROFESSOR-ALUNO E BIBLIOTECÁRIO-USUÁRIO: CONTRIBUIÇÕES DA ATIVIDADE DO TIROCÍNIO DOCENTE ORIENTADO DA PÓS-GRADUAÇÃO Aida Varela Varela1, Bruno Batista dos Anjos2 1

              Add to Reading List

              Source URL: www.sibi.ufrj.br

              Language: Portuguese - Date: 2014-09-11 15:37:04
                708

                (Fault) Attacks what is possible to do! 2007 Assia Tria, Bruno Robisson CEA-LETI Jean-max Dutertre, Amir-pasha Mirbaha : ENSM-SE

                Add to Reading List

                Source URL: www-mitacs2009.imag.fr

                Language: English - Date: 2009-07-01 02:49:04
                  709

                  Irene O’Connell, Council Member City of San Bruno Board of Directors Bay Area Water Supply & Conservation Agency Irene O’Connell was appointed by the City Council of the City of San Bruno to the Board of Directors of

                  Add to Reading List

                  Source URL: www.bawsca.org

                  Language: English
                    UPDATE