A tighter proof for CCA secure inner product functional encryption: Genericity meets efficiency | Publicación