Witness maps and applications
… 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 …
deterministically maps all witnesses … statement to a single representative witness, resulting in a …
A map of witness maps: New definitions and connections
… 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 …
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 …
bundle maps, L*(E, E)f … of the space of equivariant maps with respect to that action of S1 …
Witness encryption and its applications
… ” 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. …
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, …
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 …
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
… 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 …
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 Witness … Witness encryption is a new type of cryptosystem that can be …
Key Exchange and Witness … Witness 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]. …
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
… witness oriented application. Instead of a user presenting the proofs as evidence of presence,
witnesses … Witnesses at the particular sites can provide their endorsements as proof of visit …
witnesses … Witnesses at the particular sites can provide their endorsements as proof of visit …