Provably secure identity‐based encryption resilient to post‐challenge continuous auxiliary input leakage. Issue 10 (18th December 2015)