Soundness

Results: 384



#Item
61SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

SIAM J. COMPUT. Vol. 7, No. 1, February 1978 SOUNDNESS AND COMPLETENESS OF AN AXIOM SYSTEM FOR PROGRAM VERIFICATION* STEPHEN A. COOKer

Add to Reading List

Source URL: www.cs.toronto.edu

Language: English - Date: 2012-11-28 10:08:47
    62Soundness of Formal Encryption in the Presence of Active Adversaries Daniele Micciancio and Bogdan Warinschi Dept. of Computer Science & Engineering University 

    Soundness of Formal Encryption in the Presence of Active Adversaries Daniele Micciancio and Bogdan Warinschi Dept. of Computer Science & Engineering University 

    Add to Reading List

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

    Language: English - Date: 2007-01-08 08:20:25
      63Safety of Customer Assets at Apex Clearing Corporation Apex Clearing Corporation (Apex) is fully committed to principles of safety and soundness. We run our business with a sound capital structure and have taken appropri

      Safety of Customer Assets at Apex Clearing Corporation Apex Clearing Corporation (Apex) is fully committed to principles of safety and soundness. We run our business with a sound capital structure and have taken appropri

      Add to Reading List

      Source URL: www.apexclearing.com

      Language: English - Date: 2016-04-07 20:46:13
        64Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin Hofmann

        Theory Comput Syst: 673–689 DOIs00224x A Semantic Proof of Polytime Soundness of Light Affine Logic Ugo Dal Lago · Martin Hofmann

        Add to Reading List

        Source URL: www.tcs.ifi.lmu.de

        Language: English - Date: 2015-04-30 03:48:11
          65Computational Soundness of Observational Equivalence Hubert Comon-Lundh Véronique Cortier∗ Research Center for Information Security and

          Computational Soundness of Observational Equivalence Hubert Comon-Lundh Véronique Cortier∗ Research Center for Information Security and

          Add to Reading List

          Source URL: www.lsv.ens-cachan.fr

          Language: English - Date: 2008-08-11 03:16:43
            66Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

            Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

            Add to Reading List

            Source URL: www.montefiore.ulg.ac.be

            Language: English - Date: 2006-01-07 06:25:43
              67Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency Ran Canetti? IBM Research Abstract. A security property of a protocol is composable if it remains

              Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency Ran Canetti? IBM Research Abstract. A security property of a protocol is composable if it remains

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              Language: English - Date: 2008-11-05 15:38:29
                68Computational Soundness of Observational Equivalence Hubert Comon-Lundh Véronique Cortier∗ Research Center for Information Security and

                Computational Soundness of Observational Equivalence Hubert Comon-Lundh Véronique Cortier∗ Research Center for Information Security and

                Add to Reading List

                Source URL: www.loria.fr

                Language: English - Date: 2008-08-08 10:11:22
                  69How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1

                  How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.∗ Hubert Comon-Lundh1 and Véronique Cortier2 1

                  Add to Reading List

                  Source URL: www.lsv.ens-cachan.fr

                  Language: English - Date: 2012-12-05 06:09:36
                    70Soundness 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