Login / Signup
Virtual Proofs of Reality and their Physical Implementation.
Ulrich Rührmair
J. L. Martinez-Hurtado
Xiaolin Xu
Christian Kraeh
Christian Hilgers
Dima Kononchuk
Jonathan J. Finley
Wayne P. Burleson
Published in:
IEEE Symposium on Security and Privacy (2015)
Keyphrases
</>
virtual world
theorem proving
artificial intelligence
database systems
information technology
virtual reality
virtual space
physical environment
data sets
databases
data model
augmented reality
efficient implementation
decision procedures