Soundness - PDFSEARCH.IO - Document Search Engine

Soundness
Results: 384

#	Item
81	Privacy-Preserving Observation in Public Spaces Florian Kerschbaum1 and Hoon Wei Lim2 1 SAP Karlsruhe, Germany Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2015-06-23 05:52:39 Cryptography Zero-knowledge proof Commitment scheme IP Internet privacy Secure multi-party computation Privacy FiatShamir heuristic Oblivious transfer Soundness Private information retrieval NP
82	Business Performance CHAPTER 1 Business Performance in the Fiscal Year Ended March 31, 2012 Soundness and Profitability of Nippon Life Add to Reading List Source URL: www.nissay.co.jp Language: English - Date: 2012-10-29 18:38:09 Economy Finance Insurance Financial institutions Subprime mortgage crisis Whole life insurance Financial crisis of 200708 ING Group MetLife Federal Reserve System
83	Guessing Attacks and the Computational Soundness of Static Equivalence? Mathieu Baudet1 Bogdan Warinschi2 Add to Reading List Source URL: users.soe.ucsc.edu Language: English - Date: 2009-09-11 15:59:21
84	BRICS DS-04-3 J. Groth: Honest Verifier Zero-knowledge Arguments Applied BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-06 04:06:17 Group signature IP NP Commitment scheme Soundness BRIC Alice and Bob Cryptography Cryptographic protocols Zero-knowledge proof
85	Secure Two-Party Computation with Low Communication Ivan Damg˚ard∗ Sebastian Faust† Carmit Hazay‡ Add to Reading List Source URL: www.eng.biu.ac.il Language: English - Date: 2013-10-04 08:09:02 Complexity classes Probabilistic complexity theory Zero-knowledge proof Probabilistically checkable proof NP Proof of knowledge IP Non-interactive zero-knowledge proof Soundness Cryptography Cryptographic protocols Theoretical computer science
86	BRICS Basic Research in Computer Science BRICS RSJ. Groth: Extracting Witnesses from Proofs of Knowledge Extracting Witnesses from Proofs of Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-04 07:13:38 Cryptographic protocols Proof of knowledge Non-interactive zero-knowledge proof Interactive proof system IP Zero-knowledge proof NP Soundness Oracle machine Theoretical computer science Cryptography Computational complexity theory
87	Soundness of embeddings in the λΠ-calculus modulo rewriting Ali Assaf Deducteam, Inria Paris-Rocquencourt École Polytechnique Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2014-12-18 18:53:18 Logic Logic in computer science Dependently typed programming Lambda calculus Proof theory Curry–Howard correspondence First-order logic Logical framework System F Mathematical logic Theoretical computer science Type theory
88	Strengthening Financial Soundness and Profitability Investment and Finance in Companies and Businesses in Growing Fields Approach to Investment and Finance in Growing Fields As one of the Japanese government’s nationa Add to Reading List Source URL: www.nissay.co.jp - Date: 2015-02-27 01:44:30
89	Strengthening Financial Soundness and Profitability Stable Payout and Enhancement of Dividends to Policy Holders Making Continuous Efforts to Enhance Stable Dividends to Policyholders Nippon Life, as a mutual company, a Add to Reading List Source URL: www.nissay.co.jp - Date: 2015-02-27 01:44:32
90	Corporate Governance/Compliance Corporate Governance Penta-Ocean Construction Group has built a unique corporate governance system to ensure soundness, transparency and compliance in management, as well as for the perpe Add to Reading List Source URL: www.penta-ocean.co.jp Language: English - Date: 2014-09-26 02:34:18