3228 search results - page 116 / 646 » Computationally Sound Proofs |
FOCS
1992
IEEE
14 years 2 months ago
1992
IEEE
We give a new characterization of NP: the class NP contains exactly those languages L for which membership proofs (a proof that an input x is in L) can be verified probabilisticall...
ACMACE
2010
ACM
13 years 5 months ago
2010
ACM
Concert Viewing Headphones, which are equipped with a projector, an inclination sensor, and a distance sensor for zoom control, have been developed. These headphones enable a user...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
We revisit the correctness criterion for the multiplicative additive fragment of linear logic. We prove that deciding the correctness of corresponding proof structures is NLcomple...
JIIS
2008
13 years 10 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
TCC
2010
Springer
14 years 5 months ago
2010
Springer
A number of works have investigated using tamper-proof hardware tokens as tools to achieve a variety of cryptographic tasks. In particular, Goldreich and Ostrovsky considered the ...