Are These Pairing Elements Correct?: Automated Verification and Applications.

Susan Hohenberger, Satyanarayana Vusirikala

Browse the full CCS paper archive.