Login / Signup
Tighter Security Proofs for GPV-IBE in the Quantum Random Oracle Model.
Shuichi Katsumata
Shota Yamada
Takashi Yamakawa
Published in:
IACR Cryptol. ePrint Arch. (2018)
Keyphrases
</>
probabilistic model
management system
formal model
prior knowledge
cost function
computational model
mathematical model
statistical model
security model
neural network
probability distribution
theoretical analysis
parameter estimation
theoretical framework
conceptual model
theorem prover