Proof - PDFSEARCH.IO - Document Search Engine

Proof
Results: 11440

#	Item
31	Introduction Finite Model Generation Extensions and Optimizations Case Studies Integration of Proof-Producing SAT Solvers Conclusion Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-09 08:41:17 Mathematical logic Logic Boolean algebra Mathematics Classical logic Propositional calculus Model theory
32	Author Proof A Specification Theory of Real-Time Processes Chris Chilton1 , Marta Kwiatkowska1 , Faron Moller2 , and Xu Wang2(B) 1 2 Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-01-24 06:23:37 I0 Invariant XC
33	COSC 544 Probabilistic Proof SystemsPCPs and Succinct Arguments Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-25 19:33:50 Cryptography Computational complexity theory Complexity classes Randomized algorithms Probabilistically checkable proof IP NP Zero-knowledge proof Soundness Interactive proof system Zero knowledge Commitment scheme
34	Acceptable documents for proof of North Dakota resident address:      Add to Reading List Source URL: www.dot.nd.gov - Date: 2018-09-19 11:24:05
35	Microsoft Word - (Attach.2)(PWS)Notice on the Requirement of Address Proof_CN_vRF Add to Reading List Source URL: www.hsbc.com.mo - Date: 2016-12-26 01:09:04
36	Memcoin2 0.05 Conceptual White Paper MEMCOIN2: A HYBRID PROOF-OF-WORK, PROOF-OF-STAKE CRYPTO-CURRENCY Adam Mackenzie1 Add to Reading List Source URL: mc2.xwebnetwork.com Language: English - Date: 2014-01-19 15:23:54 Cryptocurrencies Economy Cryptography Money Peercoin Bitcoin Proof-of-stake Blockchain Cryptographic hash function Ethereum Mining pool Cardano
37	Full version of an extended abstract published in Proceedings of Eurocrypt 2012, Springer-Verlag, 2012. Available from the IACR Cryptology ePrint Archive as ReportMalleable Proof Systems and Applications Melis Add to Reading List Source URL: smeiklej.com Language: English - Date: 2018-10-23 14:58:02 Cryptography Zero-knowledge proof Proof of knowledge Malleability Mathematical proof Non-interactive zero-knowledge proof Ciphertext indistinguishability Homomorphic encryption FiatShamir heuristic
38	COSC 544 Probabilistic Proof SystemsTurning Computer Programs Into Circuits (Part 2) Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-10-06 17:06:30 Cryptography Computational complexity theory Complexity classes NP-complete problems NP IP Proof of secure erasure Certificate Circuit satisfiability problem Commitment scheme Witness Proof of knowledge
39	COSC 544 Probabilistic Proof SystemsIntroductory Lecture Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-14 15:31:41 Cryptography Complexity classes Computational complexity theory Mathematics Interactive proof system Zero-knowledge proof Probabilistically checkable proof IP Soundness NEXPTIME Mathematical proof Zero knowledge
40	COSC 544 Probabilistic Proof SystemsInteractive Proofs & Arguments, Low-Degree & Multilinear Extensions Lecturer: Justin Thaler Add to Reading List Source URL: people.cs.georgetown.edu Language: English - Date: 2017-09-18 21:24:56 Mathematics Computational complexity theory Algebra Polynomials Randomized algorithms Complexity classes IP Interactive proof system NP ArthurMerlin protocol SchwartzZippel lemma Soundness