Experimenting With Non-Interactive Range Proofs Based on the Strong RSA Assumption.
Myungsun KimHyung Tae LeePublished in: IEEE Access (2019)
Keyphrases
- wide range
- computer graphics
- neural network
- case study
- decision trees
- highly interactive
- user interaction
- user friendly
- theorem prover
- public key
- mathematical proofs
- equational theories
- formal proofs
- formal proof
- graphical interface
- interactive learning
- theorem proving
- low cost
- expert systems
- website
- knowledge base
- data mining
- real world