Soundness

Results: 384



#Item
61

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
    62

    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
      63

      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
        64

        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
          65

          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
            66

            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
              67

              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
                68

                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
                  69

                  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
                    70

                    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
                      UPDATE