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)

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2014

Highly Cited

2014

- Craig Gentry, Allison Bishop, Brent Waters
- CRYPTO
- 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

- Mark Zhandry
- TCC
- 2014

We propose a new cryptographic primitive called witness pseudorandom functions (witness PRFs). Witness PRFs are related toâ€¦Â (More)

Is this relevant?

2014

2014

- Jaouhar Fattahi, Mohamed Arbi Mejri, Hanane Houmani
- FMS @ Petri Nets
- 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

- Kedar S. Namjoshi, Lenore D. Zuck
- SAS
- 2013

We study two closely related problems: (a) showing that a program transformation is correct and (b) propagating an invariantâ€¦Â (More)

Is this relevant?

2013

2013

- Boris Aronov, Muriel Dulieu, Ferran Hurtado
- Comput. Geom.
- 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)

Is this relevant?

2011

2011

- Han Yu, Siyuan John Liu, Alex ChiChung Kot, Chunyan Miao, Cyril Leung
- 2011 IEEE 13th International Conference onâ€¦
- 2011

Cooperative spectrum sensing by secondary user (SU) nodes in cognitive radio networks (CRNs) is a promising approach to increaseâ€¦Â (More)

Is this relevant?

2009

2009

- Iftach Haitner, Alon Rosen, Ronen Shaltiel
- TCC
- 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

- Leonidas J. Guibas, Steve Oudot
- SODA
- 2007

We present a novel reconstruction algorithm that, given an input point set sampled from an object S, builds a one-parameterâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- Jean-Daniel Boissonnat, Leonidas J. Guibas, Steve Oudot
- Symposium on Computational Geometry
- 2007

It is a well-established fact that the witness complex is closelyrelated to the restricted Delaunay triangulation inâ€¦Â (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- LÃ¡szlÃ³ Babai, Lance Fortnow, Leonid A. Levin, Mario Szegedy
- STOC
- 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?