Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme

raSAT: SMT for Polynomial Inequality To Van Khanh (UET/VNU-HN) Vu Xuan Tung, Mizuhito Ogawa (JAIST

Source URL: smt2014.it.uu.se

• Algebra
• Polynomial
• RASAT
• Inequality
• NP-complete problems

Resolving the conflict between generality and plausibility in verified computation Srinath Setty? , Benjamin Braun? , Victor Vu? , Andrew J. Blumberg? , Bryan Parno† , and Michael Walfish? ? The University of Texas at

Source URL: www.pepper-project.org

• Computational complexity theory
• Logic
• Mathematics
• Randomized algorithms
• Automated theorem proving
• Logic programming
• Probabilistically checkable proof
• IP
• NP
• Substitution
• MAX-3SAT
• operator

A hybrid architecture for interactive verifiable computation Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin questions of the prover, and applies efficient tests to the

Source URL: www.pepper-project.org

PDF Document

Source URL: towerinsurance.com.vu

PDF Document

Source URL: www.nat.vu.nl

DOCX Document

Source URL: www.iticse2015.mii.vu.lt

PDF Document

Source URL: wiki.cs.vu.nl

PDF Document

Source URL: www.nat.vu.nl

PDF Document

Source URL: ub.vu.nl