The Witness

Known as: Witness (disambiguation) 
The Witness is an interactive fiction computer game published by Infocom in 1983. Like Infocom's earlier title Deadline, it is a murder mystery. The… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1961-2018
0204019612018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
Witness encryption was proposed by Garg, Gentry, Sahai, and Waters as a means to encrypt to an instance, x, of an NP language and… (More)
Is this relevant?
2014
2014
We propose a new cryptographic primitive called witness pseudorandom functions (witness PRFs). Witness PRFs are related to… (More)
Is this relevant?
2014
2014
In this paper, we introduce a new type of functions to analyze cryptographic protocols statically for the property of secrecy… (More)
Is this relevant?
2013
2013
We study two closely related problems: (a) showing that a program transformation is correct and (b) propagating an invariant… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2013
2013
We consider a generalization of the Gabriel graph, the witness Gabriel graph. Given a set of vertices P and a set of witness… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2011
2011
Cooperative spectrum sensing by secondary user (SU) nodes in cognitive radio networks (CRNs) is a promising approach to increase… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2009
2009
The concept of witness-hiding suggested by Feige and Shamir is a natural relaxation of zero-knowledge. In this paper we identify… (More)
Is this relevant?
2007
2007
We present a novel reconstruction algorithm that, given an input point set sampled from an object S, builds a one-parameter… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
It is a well-established fact that the witness complex is closelyrelated to the restricted Delaunay triangulation in… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Motivated by Manuel Blum’s concept of inst ante checking, we consider new, very fast and generic mechanisms of checking… (More)
Is this relevant?