<--- Back to Details
First PageDocument Content
Computer memory / Circuit complexity / Circuit / Theory of computation / NC / Computer / Electronic circuit / Central processing unit / Memory / Theoretical computer science / Electronics / Applied mathematics
Date: 2015-04-02 23:37:52
Computer memory
Circuit complexity
Circuit
Theory of computation
NC
Computer
Electronic circuit
Central processing unit
Memory
Theoretical computer science
Electronics
Applied mathematics

Black-Box Garbled RAM Sanjam Garg∗ Steve Lu† Rafail Ostrovsky‡

Add to Reading List

Source URL: eprint.iacr.org

Download Document from Source Website

File Size: 497,98 KB

Share Document on Facebook

Similar Documents

Computational complexity theory / Theoretical computer science / Logic in computer science / Boolean algebra / Circuit complexity / Complexity classes / Electronic design automation / True quantified Boolean formula / Satisfiability modulo theories / NC / FO / Boolean circuit

Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,

DocID: 1xVBA - View Document

SeaWorld Orlando / SeaWorld Parks & Entertainment / Entertainment / Predation / Tilikum / SeaWorld / The Blackstone Group / Shamu / Dawn Brancheau / Whale / Killer whale / Animal training

United States Court of Appeals FOR THE DISTRICT OF COLUMBIA CIRCUIT Argued November 12, 2013 Decided April 11, 2014

DocID: 1xVqv - View Document

Wireless networking / Wireless sensor network / Sensor / cole Polytechnique Fdrale de Lausanne / Technology / Education in Switzerland / Higher education

Call For Papers The International Workshop on Advances in Sensors and Interfaces is a premier Sensor and Interface design workshop aimed at bridging the gap between electronic design and integrated circuit technologies,

DocID: 1xV2r - View Document

Marvel Fact Files

Sparse Boolean Equations and Circuit Lattices Igor Semaev University of Bergen Norway SHARCS, 9 September 2009

DocID: 1xUha - View Document

Mathematics / Complexity classes / Randomized algorithms / IP / Probabilistically checkable proof / NP / NEXPTIME / Soundness / Variable / Interactive proof system / Proof of knowledge

COSC 544 Probabilistic Proof SystemsA State of the Art MIP For Circuit Satisfiability Lecturer: Justin Thaler

DocID: 1xTQc - View Document