Author:
Akinyele Joseph A.,Barthe Gilles,Gregoire Benjamin,Schmidt Benedikt,Strub Pierre-Yves
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. PPE Circuits for Rational Polynomials;Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security;2021-11-12
2. PPE Circuits: Formal Definition to Software Automation;Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security;2020-10-30
3. Are These Pairing Elements Correct?;Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security;2019-11-06
4. New Techniques for Structural Batch Verification in Bilinear Groups with Applications to Groth-Sahai Proofs;2017
5. Verified Proofs of Higher-Order Masking;Advances in Cryptology -- EUROCRYPT 2015;2015