Proof theory

Results: 1637



#Item
51Cryptography / Mathematics / Computational complexity theory / Proof theory / Zero-knowledge proof / Proof of knowledge / IP / Soundness / Distribution

LNCSBatch Proofs of Partial Knowledge

Add to Reading List

Source URL: homes.soic.indiana.edu

Language: English - Date: 2016-05-12 20:00:31
52Algebra / Abstract algebra / Mathematics / Cohomology theories / K-theory / Algebraic topology / Homotopy theory / Algebraic geometry / Landweber exact functor theorem / Cohomology / CW complex / Spectral sequence

Contemporary Mathematics K(n + 1) equivalence implies K(n) equivalence W. Stephen Wilson Abstract. We give an entirely different proof of a recent result of Bousfield’s which states that if there is a map of spaces in

Add to Reading List

Source URL: www.math.jhu.edu

Language: English - Date: 2014-03-30 15:19:14
53Logic / Mathematical logic / Abstraction / Proof theory / Propositional calculus / Predicate logic / Logical truth / First-order logic / Tautology / Existential graph / Cut-elimination theorem / Well-formed formula

Some Notes on Proofs with Alpha Graphs Frithjof Dau Technische Universit¨ at Dresden, Dresden, Germany

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2007-08-09 21:04:38
54Computability theory / Lambda calculus / Theoretical computer science / Computer science / Mathematics / Academia / Proof theory

Chapter 3 Simple Types We study simple types in this chapter, We first formalize a simply-typed programming language L0 and then establish its type soundness, setting some machinery for development in the following chap

Add to Reading List

Source URL: www.cs.bu.edu

Language: English - Date: 2009-12-18 13:56:03
55Cryptography / Cryptographic hash functions / Zero-knowledge proof / Function / Random oracle / Utility

Theory and Application of Extractable Functions A Dissertation Presented to the Faculty of the Graduate School of Yale University

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2009-07-02 20:00:57
56Cryptography / Computing / Computational complexity theory / Proof of knowledge / IP / Distribution / Challengeresponse authentication / Communications protocol / ZK / Zero-knowledge proof

Cryptographic Protocols Spring 2015 Slides for Chapter1 (part 2) Definition of zero-knowledge (ZK)

Add to Reading List

Source URL: www.crypto.ethz.ch

Language: English - Date: 2015-03-06 05:37:28
57Automated theorem proving / Software / Theoretical computer science / Proof assistants / Functional languages / Type theory / Matita / Formal methods / Calculus of constructions / Mathematical proof / Automated reasoning / Theorem

User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm

Add to Reading List

Source URL: matita.cs.unibo.it

Language: English - Date: 2007-05-25 11:04:13
58Logic / Mathematical logic / Abstraction / Proof theory / Model theory / Non-classical logic / Predicate logic / Philosophical logic / Natural deduction / Sequent calculus / Sequent / First-order logic

Gentzen calculi for the existence predicate Matthias Baaz and Rosalie Iemhoff∗ Institute for Discrete Mathematics and Geometry E104, Technical University Vienna, Wiedner Hauptstrasse 8-10, 1040 Vienna, Austria. baaz@lo

Add to Reading List

Source URL: www.phil.uu.nl

Language: English - Date: 2008-12-12 07:17:03
59Cryptography / Public-key cryptography / Computational complexity theory / Proof of knowledge / Zero-knowledge proof / IP / Raspberry Pi

LNCSA Universally Composable Mix-Net

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2012-05-30 08:39:36
60Computational complexity theory / Cryptography / Theory of computation / Probabilistic complexity theory / IP / Zero-knowledge proof / Soundness / PP / Entropy / NP / Randomized algorithm / Interactive proof system

An Efficient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant

Add to Reading List

Source URL: www.nada.kth.se

Language: English - Date: 2012-05-30 08:53:38
UPDATE