Login / Signup
Tighter Post-quantum Proof for Plain FDH, PFDH and GPV-IBE.
Yu Liu
Haodong Jiang
Yunlei Zhao
Published in:
IACR Cryptol. ePrint Arch. (2022)
Keyphrases
</>
upper bound
lower bound
data envelopment analysis
quantum mechanics
quantum computing
theorem prover
quantum inspired
quantum computation
theorem proving
encryption scheme
chance constrained
neural network
genetic algorithm
linear logic
logic circuits
proof theory