Attribute-Based Authentication in Secure Group Messaging for Distributed Environments and Safer Online Spaces
Pith reviewed 2026-05-24 00:39 UTC · model grok-4.3
The pith
A protocol lets groups authenticate new members by proving attributes rather than revealing identities while preserving unlinkability.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We formally define a CGKA variant named Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA) and provide security proofs for its properties of Requirement Integrity, Unforgeability and Unlinkability. We also provide an implementation of our AA-CGKA scheme and show that it achieves performance similar to a trivial certificate-based solution.
What carries the argument
Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA), which integrates attribute-based credentials with selective disclosure into the CGKA protocol to replace identity authentication with attribute proofs.
If this is right
- Groups can enforce dynamic, attribute-defined membership rules without exposing member identities.
- User activity remains unlinkable across separate groups even when the same attributes are used.
- The protocol can be deployed with computational and communication costs close to those of certificate-based CGKA.
Where Pith is reading between the lines
- The approach could support attribute-based access in other dynamic key-agreement settings beyond the MLS protocol.
- Selective disclosure may reduce the data exposed during membership changes in large distributed groups.
Load-bearing premise
The security proofs assume the underlying attribute-based credential scheme with selective disclosure itself provides unlinkability and unforgeability.
What would settle it
An attack that forges a valid attribute proof accepted by AA-CGKA or links two sessions of the same user across groups would falsify the claimed security properties.
Figures
read the original abstract
The Messaging Layer security (MLS) and its underlying Continuous Group Key Agreement (CGKA) protocol allows a group of users to share a cryptographic secret in a dynamic manner, such that the secret is modified in member insertions and deletions. Although this flexibility makes MLS ideal for implementations in distributed environments, a number of issues need to be overcome. Particularly, the use of digital certificates for authentication in a group goes against the group members' privacy. In this work we provide an alternative method of authentication in which the solicitors, instead of revealing their identity, only need to prove possession of certain attributes, dynamically defined by the group, to become a member. Instead of digital certificates, we employ Attribute-Based Credentials accompanied with Selective Disclosure in order to reveal the minimum required amount of information and to prevent attackers from linking the activity of a user through multiple groups. We formally define a CGKA variant named Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA) and provide security proofs for its properties of Requirement Integrity, Unforgeability and Unlinkability. We also provide an implementation of our AA-CGKA scheme and show that it achieves performance similar to a trivial certificate-based solution.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces Attribute-Authenticated Continuous Group Key Agreement (AA-CGKA), a CGKA variant for protocols such as MLS that replaces certificate-based authentication with attribute-based credentials supporting selective disclosure. Group membership is granted upon proving possession of dynamically defined attributes rather than revealing identities, with the goal of preserving privacy and preventing cross-group linking. The manuscript formally defines AA-CGKA, supplies security proofs for Requirement Integrity, Unforgeability and Unlinkability, and reports an implementation whose performance is comparable to a trivial certificate-based baseline.
Significance. If the reductions are valid, the work supplies a privacy-oriented authentication layer for dynamic group key agreement that directly addresses identity leakage in distributed messaging. The explicit formal definition, the three security proofs, and the accompanying implementation constitute concrete, verifiable contributions that could be adopted in privacy-sensitive deployments.
major comments (1)
- [Security proofs section] Security proofs section: the proofs of Requirement Integrity, Unforgeability and Unlinkability are obtained by direct reduction to the unlinkability and unforgeability properties of the underlying attribute-based credential scheme with selective disclosure. The manuscript must state the precise interface between the CGKA operations and the ABC selective-disclosure calls, together with any additional assumptions required for the reduction to go through; without this, the AA-CGKA guarantees are not self-contained.
minor comments (1)
- The term 'Requirement Integrity' is introduced without an explicit definition or motivation in the abstract or early sections; a concise statement of the property (e.g., as an equation or game) should appear before the proof.
Simulated Author's Rebuttal
We thank the referee for the constructive comment on the security proofs. We address it point by point below and will incorporate the requested clarifications in the revised manuscript.
read point-by-point responses
-
Referee: [Security proofs section] Security proofs section: the proofs of Requirement Integrity, Unforgeability and Unlinkability are obtained by direct reduction to the unlinkability and unforgeability properties of the underlying attribute-based credential scheme with selective disclosure. The manuscript must state the precise interface between the CGKA operations and the ABC selective-disclosure calls, together with any additional assumptions required for the reduction to go through; without this, the AA-CGKA guarantees are not self-contained.
Authors: We agree that an explicit description of the interface is necessary for the reductions to be self-contained. In the revised manuscript we will add a dedicated subsection (in the security proofs section) that enumerates the exact ABC selective-disclosure calls invoked by each CGKA operation (Create, Join, Leave, Update) together with the concrete inputs and outputs passed between the CGKA state machine and the ABC oracle. We will also list the additional assumptions required for the reductions (e.g., that the underlying ABC scheme satisfies the stated unlinkability and unforgeability properties in the presence of adaptive attribute queries, and that the CGKA transcript is independent of the credential issuance transcript except through the explicit interface). These additions will make the AA-CGKA security statements fully rigorous without altering the existing proof structure. revision: yes
Circularity Check
No significant circularity; standard cryptographic reduction to external primitive
full rationale
The paper defines AA-CGKA and proves Requirement Integrity, Unforgeability and Unlinkability via reduction to the unlinkability/unforgeability properties of an underlying attribute-based credential scheme with selective disclosure. This is a conventional security reduction to an assumed-external primitive rather than a self-referential definition, fitted parameter renamed as prediction, or self-citation chain. No equations or steps in the provided abstract reduce the claimed properties to the paper's own inputs by construction. The implementation comparison is orthogonal to the proof structure. Per the hard rules, this receives score 0 as the derivation remains self-contained against the external benchmark primitive.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Security of the underlying attribute-based credential scheme with selective disclosure
invented entities (1)
-
AA-CGKA protocol
no independent evidence
Reference graph
Works this paper leans on
-
[1]
R. Barnes, B. Beurdouche, R. Robert, J. Millican, E. Omara, K. Cohn- Gordon, The Messaging Layer Security (MLS) Protocol, Request for Com- ments RFC 9420, Internet Engineering Task Force, num Pages: 132 (Jul. 2023). doi:10.17487/RFC9420
- [2]
- [3]
-
[4]
R. Soltani, U. T. Nguyen, A. An, A survey of self-sovereign identity ecosys- tem, Security and Communication Networks 2021 (2021) 1–26
work page 2021
-
[5]
In: Fodor, P., Montali, M., Calvanese, D., Roman, D
J. Alwen, S. Coretti, Y. Dodis, Y. Tselekounis, Security Analysis and Im- provements for the IETF MLS Standard for Group Messaging, in: D. Mic- ciancio, T. Ristenpart (Eds.), Advances in Cryptology – CRYPTO 2020, Vol. 12170, Springer International Publishing, Cham, 2020, pp. 248–277, series Title: Lecture Notes in Computer Science. doi:10.1007/978-3-030- ...
-
[6]
J. Alwen, D. Jost, M. Mularczyk, On the Insider Security of MLS, in: Y. Dodis, T. Shrimpton (Eds.), Advances in Cryptology – CRYPTO 2022, Vol. 13508, Springer Nature Switzerland, Cham, 2022, pp. 34–68, series Title: Lecture Notes in Computer Science. doi:10.1007/978-3-031-15979- 4_2
-
[8]
K. Cohn-Gordon, C. Cremers, L. Garratt, J. Millican, K. Milner, On Ends- to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees, in: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, ACM, Toronto Canada, 2018, pp. 1802–1819. doi:10.1145/3243734.3243747
-
[9]
K. Bhargavan, R. Barnes, E. Rescorla, TreeKEM: Asynchronous Decen- tralized Key Management for Large Dynamic Groups, . (2018). 26
work page 2018
-
[10]
J. Alwen, M. Mularczyk, Y. Tselekounis, Fork-Resilient Continuous Group Key Agreement, in: H. Handschuh, A. Lysyanskaya (Eds.), Advances in Cryptology – CRYPTO 2023, Vol. 14084, Springer Nature Switzerland, Cham, 2023, pp. 396–429, series Title: Lecture Notes in Computer Science. doi:10.1007/978-3-031-38551-3_13
-
[11]
M. Weidner, M. Kleppmann, D. Hugenroth, A. R. Beresford, Key Agree- mentforDecentralizedSecureGroupMessagingwithStrongSecurityGuar- antees, in: Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, ACM, Virtual Event Republic of Korea, 2021, pp. 2024–2045. doi:10.1145/3460120.3484542
- [12]
-
[13]
J. Alwen, D. Hartmann, E. Kiltz, M. Mularczyk, Server-Aided Continuous Group Key Agreement, in: Proceedings of the 2022 ACM SIGSAC Confer- ence on Computer and Communications Security, ACM, Los Angeles CA USA, 2022, pp. 69–82. doi:10.1145/3548606.3560632
- [14]
-
[15]
K. Emura, K. Kajita, R. Nojima, K. Ogawa, G. Ohtake, Membership Pri- vacy for Asynchronous Group Messaging, in: I. You, T.-Y. Youn (Eds.), Information Security Applications, Vol. 13720, Springer Nature Switzer- land, Cham, 2023, pp. 131–142, series Title: Lecture Notes in Computer Science. doi:10.1007/978-3-031-25659-2_10
-
[16]
J. Bobolz, F. Eidens, S. Krenn, S. Ramacher, K. Samelin, Issuer-Hiding Attribute-Based Credentials, in: M. Conti, M. Stevens, S. Krenn (Eds.), Cryptology and Network Security, Vol. 13099, Springer International Pub- lishing, Cham, 2021, pp. 158–178, series Title: Lecture Notes in Computer Science. doi:10.1007/978-3-030-92548-2_9
-
[17]
D. Fett, K. Yasuda, D. Campbell, Selective disclosure for JWTs (SD- JWT), Internet Draft draft-ietf-oauth-selective-disclosure-jwt-08, Internet Engineering Task Force, num Pages: 12 (Jul. 2023). URLhttps://datatracker.ietf.org/doc/ draft-ietf-oauth-selective-disclosure-jwt/
work page 2023
- [18]
-
[19]
H. K. Maji, M. Prabhakaran, M. Rosulek, Attribute-based signatures, in: Cryptographers’ track at the RSA conference, Springer, 2011, pp. 376–392
work page 2011
-
[20]
N. Kaaniche, M. Laurent, Attribute-based signatures for supporting anony- mous certification, in: European symposium on research in computer secu- rity, Springer, 2016, pp. 279–300
work page 2016
-
[21]
A. El Kaafarani, E. Ghadafi, Attribute-based signatures with user- controlled linkability without random oracles, in: IMA International Con- ference on Cryptography and Coding, Springer, 2017, pp. 161–184
work page 2017
- [22]
-
[23]
C. Cremers, E. Günsay, V. Wesselkamp, M. Zhao, ETK: External- operations TreeKEM and the security of MLS in RFC 9420, Cryptology ePrint Archive, Paper 2025/229 (2025). URLhttps://eprint.iacr.org/2025/229
work page 2025
-
[24]
J. Camenisch, M. Dubovitskaya, K. Haralambiev, M. Kohlweiss, Compos- able and modular anonymous credentials: Definitions and practical con- structions, in: Advances in Cryptology–ASIACRYPT 2015: 21st Interna- tional Conference on the Theory and Application of Cryptology and Infor- mation Security, Auckland, New Zealand, November 29–December 3, 2015, Proce...
work page 2015
-
[25]
E. Bangerter, J. Camenisch, A. Lysyanskaya, A cryptographic framework for the controlled release of certified data, in: Security Protocols: 12th In- ternational Workshop, Cambridge, UK, April 26-28, 2004. Revised Selected Papers 12, Springer, 2006, pp. 20–42
work page 2004
-
[26]
J. Camenisch, A. Lysyanskaya, Signature Schemes and Anonymous Cre- dentials from Bilinear Maps, in: D. Hutchison, T. Kanade, J. Kittler, J. M. Kleinberg, F. Mattern, J. C. Mitchell, M. Naor, O. Nierstrasz, C. Pandu Rangan, B. Steffen, M. Sudan, D. Terzopoulos, D. Tygar, M. Y. Vardi, G.Weikum, M.Franklin(Eds.), AdvancesinCryptology–CRYPTO 2004, Vol. 3152, ...
-
[27]
Q. Wang, D. Wang, Understanding failures in security proofs of multi- factor authentication for mobile devices, IEEE Transactions on Information Forensics and Security 18 (2023) 597–612. doi:10.1109/TIFS.2022.3227753
-
[28]
N. Koblitz, A. J. Menezes, Another look at “provable security”, Journal of Cryptology 20 (1) (2007) 3–37. doi:10.1007/s00145-005-0432-z. URLhttps://doi.org/10.1007/s00145-005-0432-z 28
- [29]
-
[30]
PhoenixR&D, Openmls,https://github.com/openmls/openmls(2024)
work page 2024
-
[31]
OpenWalletFoundation, SD-JWT rust reference implementation,https: //github.com/openwallet-foundation-labs/sd-jwt-rust(2024)
work page 2024
-
[32]
G. Bernstein, M. Sporny, Data integrity bbs cryptosuites v1.0, W3C rec- ommendation, W3C, https://www.w3.org/TR/vc-di-bbs/ (Mar. 2024)
work page 2024
-
[33]
SpruceID, Ssi,https://github.com/spruceid/ssi(2024)
work page 2024
- [34]
-
[35]
M. Rosenberg, J. White, C. Garman, I. Miers, zk-creds: Flexible anony- mous credentials from zksnarks and existing identity infrastructure, in: 2023 IEEE Symposium on Security and Privacy (SP), IEEE, 2023, pp. 790–808
work page 2023
-
[36]
L. Paillat, C.-L. Ignat, D. Frey, M. Turuani, A. Ismail, Discreet: distributed delivery service with context-aware cooperation, Annals of Telecommuni- cations 80 (3) (2025) 357–374. doi:10.1007/s12243-024-01053-1
- [37]
-
[38]
K. Kajita, K. Emura, K. Ogawa, R. Nojima, G. Ohtake, Continu- ous Group Key Agreement with Flexible Authorization and Its Applica- tions, in: Proceedings of the 9th ACM International Workshop on Secu- rity and Privacy Analytics, ACM, Charlotte NC USA, 2023, pp. 3–13. doi:10.1145/3579987.3586570
-
[39]
T. Insoll, V. Soloveva, E. Díaz Bethencourt, A. Ovaska, N. Vaaranen-Valkonen, Tech platforms used by online child sexual abuse offenders: Research report with actionable recommendations for the tech industry, Research report, Protect Children / Suojellaan Lapsia ry, accessed: 25-09-2025 (2024)
work page 2025
-
[40]
M. Ashcroft, L. Kaati, M. Meyer, A step towards detecting online grooming–identifying adults pretending to be children, in: 2015 European Intelligence and Security Informatics Conference, IEEE, 2015, pp. 98–104
work page 2015
-
[41]
J. Brendel, C. Cremers, D. Jackson, M. Zhao, The provable security of ed25519: theory and practice, in: 2021 IEEE Symposium on Security and Privacy (SP), IEEE, 2021, pp. 1659–1676. 29 Appendix A. Security Games In this Appendix we include the security games for the cryptographic prim- itives we employ in our AA-CGKA scheme. They are specially relevant for...
work page 2021
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.