Proof-carrying data

Proof-carrying data

Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2010.

Bibliographic Details
Main Author:	Chiesa, Alessandro
Other Authors:	Ronald L. Rivest and Eran Tromer.
Format:	Thesis
Language:	eng
Published:	Massachusetts Institute of Technology 2011
Subjects:	Electrical Engineering and Computer Science.
Online Access:	http://hdl.handle.net/1721.1/61151

Similar Items

Denotational proof languages
by: Arkoudas, Konstantinos, 1968-
Published: (2013)

Super-efficient rational proofs
by: Azar, Pablo Daniel
Published: (2015)

Succinct non-Interactive arguments
by: Chiesa, Alessandro
Published: (2015)

On deploying succinct zero-knowledge proofs
by: Virza, Madars
Published: (2018)

On the existence of 3-round zero-knowledge proofs
by: Lepinski, Matthew (Matthew Baker), 1978-
Published: (2014)

Secret-chain zero-knowledge proofs and their applications
by: Eng, Tony Liang
Published: (2007)

Automated termination proofs using Walther recursion
by: Wu, Alexander
Published: (2007)

Automated proof checking in introductory discrete mathematics classes
by: Haven, Andrew J
Published: (2014)

Mechanized proofs that hardware is safe from timing attacks
by: Duxovni, Faye(Faye Samara)
Published: (2019)

Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
by: Colby, Christopher P
Published: (2013)

CafNet : a carry-and-forward delay-tolerant network
by: Chen, Kevin W. (Kevin William)
Published: (2008)

Using a denotational proof language to verify dataflow analyses
by: Hao, Melissa B. (Melissa Betty), 1979-
Published: (2014)

Security proofs for the MD6 hash function mode of operation
by: Crutchfield, Christopher Yale
Published: (2009)

Software tools for elementary math education : animated mathematical proofs
by: Mwangi, Timothy M
Published: (2014)

Interactive proof system variants and approximation algorithms for optical networks
by: Sundaram, Ravi, 1968-
Published: (2008)

Query-efficient checking of proofs and improved PCP characterizations of NP
by: Guruswami, Venkatesan, 1976-
Published: (2013)

3-round weak zero-knowledge proofs for [Nu] [Rho]
by: Lim, Dah-Yoh, 1978-
Published: (2005)

A framework for synthesizing transactional database implementations in a proof assistant
by: Suriyakarn, Sorawit
Published: (2018)

CoqIOA : a formalization of IO automata in the Coq proof assistant
by: Athalye, Anish (Anish R.)
Published: (2017)

A virtual machine for a type-[omega] denotational proof language
by: Arvizo, Teodoro, 1978-
Published: (2014)

A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls
by: Troxel, Gregory D. (Gregory Donald)
Published: (2005)

Steps towards proof construction using reinforcement learning : environments and models for hypothesis-posing as subtask creation
by: Guo, Hairuo.
Published: (2020)

Extracting proofs from tabled proof search
by: Miller, Dale., et al.
Published: (2013)

Factorized carry lookahead adders
by: Balasubramanian, Padmanabhan, et al.
Published: (2020)

Proof of concept blockchain for version control
by: Leow, Zheng Xu
Published: (2019)

Fair and dynamic proofs of retrievability
by: Nguyen, Ngoc Tram Anh
Published: (2015)

Tropical data centre proof-of-concept
by: Le, Duc Van, et al.
Published: (2020)

Proof of stake-based blockchain applications
by: Fecho, Tyrone Jiale
Published: (2019)

Processing of outliers and missing data in multivariate manufacturing data
by: Derksen, Timothy J. (Timothy John)
Published: (2007)

The value of data
by: Jones, Dalton James
Published: (2018)

Private data base access schemes avoiding data distribution
by: Gertner, Yael
Published: (2008)

Reducing data movement in multicore chips with computation and data co-scheduling
by: Tsai, Po-An
Published: (2015)

Web clickstream data analysis using a dimensional data warehouse
by: Li, Richard D. (Richard Ding), 1978-
Published: (2014)

The data science machine : emulating human intelligence in data science endeavors
by: Kanter, Max (James Max)
Published: (2017)

Data warehousing, OLAP, and data mining : an integrated strategy for use at FAA
by: Ma, Yao, 1975-
Published: (2009)

Interpreting and optimizing data
by: Du, George J
Published: (2017)

Algorithms for data mining
by: Wang, Grant J. (Grant Jenhorn), 1979-
Published: (2007)

The Abstract Data Interface
by: Wong, Brian T. (Brian Tak-Ho), 1978-
Published: (2014)

On compression of encrypted data
by: Deng, Mo, Ph. D. Massachusetts Institute of Technology
Published: (2016)

Spectral anonymization of data
by: Lasko, Thomas A. (Thomas Anton), 1965-
Published: (2008)