Secure Non-interactive Reducibility is Decidable.

Kaartik Bhushan Ankit Kumar Misra Varun Narayanan Manoj Prabhakaran

Published in: TCC (2) (2022)

Keyphrases

user friendly
user interaction
virtual reality
access control
graphical interface
web services
data management
electronic commerce
first order logic
datalog programs
cryptographic protocols