Witness maps and applications

S Chakraborty, M Prabhakaran, D Wichs - IACR International Conference …, 2020 - Springer
Witness Maps as a cryptographic notion of a proof system. A Unique Witness Map (UWM)
deterministically maps all witnesses … statement to a single representative witness, resulting in a …

A map of witness maps: New definitions and connections

S Chakraborty, M Prabhakaran, D Wichs - IACR International Conference …, 2023 - Springer
… This level of soundness suffices for some applications (eg, construction of a witness
encryption scheme from a UWM), as shown in [4]. It also provides an intermediate target for …

Witnesses, transgressions, and the evaluation map

DH Gottlieb - Indiana University Mathematics Journal, 1975 - JSTOR
… Thus (1) we may use facts about the evaluation map to … the homology of the space of principal
bundle maps, L*(E, E)f … of the space of equivariant maps with respect to that action of S1 …

Witness encryption and its applications

S Garg, C Gentry, A Sahai, B Waters - … of the forty-fifth annual ACM …, 2013 - dl.acm.org
… ” multilinear maps We now provide an overview of how to build several cryptographic
primitives from witness encryption, and then how to build the witness encryption scheme itself. …

[PDF][PDF] GRID: A Methodology Integrating Witness Testimony and Satellite Imagery Analysis for Documenting Alleged Mass Atrocities

BL Card, IL Baker - … Studies and Prevention: An International Journal, 2014 - academia.edu
… Conclusions: he initial use of GRID warrants further research into potential applications in …
a GRID map using a satellite image. he GRID map is then sent to the witness so that the map, …

Extreme witnesses and their applications

A Lingas, M Persson - Algorithmica, 2018 - Springer
witnesses for this coordinate. We term this problem the smallest k-witness problem or the
largest k-witness … We also study the corresponding smallest and largest k-witness problems for …

Simplicial multivalued maps and the witness complex for dynamical analysis of time series

Z Alexander, E Bradley, JD Meiss… - SIAM Journal on applied …, 2015 - SIAM
… Since we are interested in applications to data sets that correspond to real-valued measurements
of continuous dynamical systems, we will assume that our time series Γ is obtained …

Two applications of multilinear maps: group key exchange and witness encryption

S Arita, S Handa - Proceedings of the 2nd ACM workshop on ASIA public …, 2014 - dl.acm.org
… studied applications of multilinear maps. In this work we propose two such applications: Group
Key Exchange and WitnessWitness encryption is a new type of cryptosystem that can be …

[HTML][HTML] Map graphs having witnesses of large girth

HO Le - Theoretical Computer Science, 2019 - Elsevier
map graphs is in NP by proving the existence of a witness. Soon later, Thorup [FOCS 1998]
claimed that recognizing map … Some applications of map graphs have been addressed in [8]. …

WORAL: A witness oriented secure location provenance framework for mobile devices

R Hasan, R Khan, S Zawoad… - IEEE Transactions on …, 2015 - ieeexplore.ieee.org
witness oriented application. Instead of a user presenting the proofs as evidence of presence,
witnessesWitnesses at the particular sites can provide their endorsements as proof of visit …