Shorter QA-NIZK and SPS with Tighter Security | Publicación