Soundness

Results: 384



#Item
21Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing Hubert Comon-Lundh Masami Hagiya

Proving Computational Soundness of the Applied Pi-Calculus without Using Computable Parsing Hubert Comon-Lundh Masami Hagiya

Add to Reading List

Source URL: www.cs.bham.ac.uk

- Date: 2014-09-13 07:14:28
    22Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1

    Computational Soundness of (Interactive) Zero-Knowledge Proof Systems in the Presence of Active Adversaries Yusuke Kawamoto1 (Jointly with Gergei Bana2 and Hideki Sakurada3) 1

    Add to Reading List

    Source URL: www.rcis.aist.go.jp

    - Date: 2009-04-13 05:46:31
      232016 Annual Report  Dear Sysco Shareholders, We are pleased to report that Sysco delivered excellent financial results during fiscalThis strong performance reflects the soundness of our strategy, a continued comm

      2016 Annual Report Dear Sysco Shareholders, We are pleased to report that Sysco delivered excellent financial results during fiscalThis strong performance reflects the soundness of our strategy, a continued comm

      Add to Reading List

      Source URL: s1.q4cdn.com

      - Date: 2016-10-05 17:02:00
        24The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

        The Resolution Calculus for First-Order Logic Anders Schlichtkrull June 30, 2016 Abstract This theory is a formalization of the resolution calculus for firstorder logic. It is proven sound and complete. The soundness pro

        Add to Reading List

        Source URL: www.isa-afp.org

        - Date: 2016-06-30 11:26:49
          25If on a Winter’s Night Two Researchers… A Challenge to Assumptions of Soundness of Interpretation Copyright © 2009 Critical Approaches to Discourse Analysis across Disciplines http://cadaad.net/ejournal

          If on a Winter’s Night Two Researchers… A Challenge to Assumptions of Soundness of Interpretation Copyright © 2009 Critical Approaches to Discourse Analysis across Disciplines http://cadaad.net/ejournal

          Add to Reading List

          Source URL: cadaad.net

          - Date: 2011-08-02 12:00:51
            26NW Priority Credit Union has demonstrated the epitome of safety and soundness by earning and sustaining BauerFinancial’s 5‐Star Superior Rating for 102 consecutive quarters. The prestigious Sustained Superiority Stat

            NW Priority Credit Union has demonstrated the epitome of safety and soundness by earning and sustaining BauerFinancial’s 5‐Star Superior Rating for 102 consecutive quarters. The prestigious Sustained Superiority Stat

            Add to Reading List

            Source URL: www.nwprioritycu.org

            - Date: 2016-01-06 17:17:44
              27Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

              Soundness of Data Flow Analyses for Weak Memory Models⋆ Jade Alglave, Daniel Kroening, John Lugton, Vincent Nimal, and Michael Tautschnig Department of Computer Science, University of Oxford, UK

              Add to Reading List

              Source URL: www0.cs.ucl.ac.uk

              Language: English - Date: 2012-09-10 07:41:01
              28ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

              ETH Zurich, Department of Computer Science FS 2015 Prof. Dr. Ueli Maurer Dr. Martin Hirt Sandro Coretti

              Add to Reading List

              Source URL: www.crypto.ethz.ch

              Language: English - Date: 2015-02-25 05:09:48
              29FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09

              FCS 2009 Workshop on Foundations of Computer Security July 10th, 2009 Los Angeles, California, USA Affiliated with LICS’09

              Add to Reading List

              Source URL: www.loria.fr

              Language: English - Date: 2009-07-20 04:50:04