Interactive Oracle Arguments in the QROM and Applications to Succinct Verification of Quantum Computation.
Islam FaisalPublished in: CT-RSA (2024)
Keyphrases
- database administration
- quantum computation
- oracle database
- oracle database administration
- model checking
- database
- highly interactive
- user interaction
- graphical interface
- microsoft sql server
- computer graphics
- user friendly
- databases
- formal verification
- signature verification
- interactive learning
- artificial intelligence
- data visualization
- data management
- case based reasoning
- interactive video
- supreme court
- information retrieval