×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [boolean circuit]
Cloud Security
632 views
Applications of Craig Interpolation to Model Checking K. L. McMillan Cadence Berkeley Labs
220 views
Secure Computation Slides stolen from Joe Kilian & Vitali Shmatikov Boaz Barak
215 views
Fully Homomorphic Encryption over the Integers Marten van Dijk 1, Craig Gentry 2, Shai Halevi 2, Vinod Vaikuntanathan 2 1 – MIT, 2 – IBM Research Many
212 views
Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT Victor Khomenko University of Newcastle upon Tyne Supported by IST project
212 views
Secure Mining of Association Rules in Horizontally Distributed Databases
681 views
COLOR TEST COLOR TEST. Dueling Algorithms N ICOLE I MMORLICA, N ORTHWESTERN U NIVERSITY WITH A. T AUMAN K ALAI, B. L UCIER, A. M OITRA, A. P OSTLEWAITE,
214 views
Bit Vector Decision Procedures A Basis for Reasoning about Hardware & Software bryant Randal E. Bryant Carnegie Mellon University
219 views
CSE 421 Algorithms Richard Anderson Lecture 27 NP Completeness
228 views
Algebrization: A New Barrier in Complexity Theory Scott Aaronson (MIT) Avi Wigderson (IAS) 4xyw-12yz+17xyzw-2x-2y-2z-2w IP=PSPACE MA EXP P/poly MIP=NEXP
216 views
Shortest Violation Traces in Model Checking Based on Petri Net Unfoldings and SAT
33 views
Diagnostic and Detection Fault Collapsing for Multiple Output Circuits
42 views
Next >