human: Given a node-centered hypergraph: <hypergraph>, where nodes represent papers and hyperedges represent sets of papers co-cited by a source paper.

Details of the hypergraph:
Center node: "formal analysis of 5g authentication"
  Abstract: Mobile communication networks connect much of the world's population. The security of users' calls, SMSs, and mobile data depends on the guarantees provided by the Authenticated Key Exchange protocols used. For the next-generation network (5G), the 3GPP group has standardized the 5G AKA protocol for this purpose. We provide the first comprehensive formal model of a protocol from the AKA family: 5G AKA. We also extract precise requirements from the 3GPP standards defining 5G and we identify missing security goals. Using the security protocol verification tool Tamarin, we conduct a full, systematic, security evaluation of the model with respect to the 5G security goals. Our automated analysis identifies the minimal security assumptions required for each security goal and we find that some critical security goals are not met, except under additional assumptions missing from the standard. Finally, we make explicit recommendations with provably secure fixes for the attacks and weaknesses we found.

Connected through hyperedge HE-1 (induced by source paper "security of 5g mobile backhaul networks a survey"):
  with members:
    - "bandwidth partitioning and downlink analysis in mmwave integrated access and backhaul for 5g"
    - "cross layer authentication protocol design for ultra dense 5g hetnets"
    - "massive multiple input massive multiple output for 5g wireless backhauling"
    - "a survey of physical layer security techniques for 5g wireless networks and challenges ahead"
    - "the 5g cellular backhaul management dilemma to cache or to serve"
    - "optimal joint routing and scheduling in millimeter wave cellular networks"
    - "a survey on low latency towards 5g ran core network and caching solutions"
    - "fso based vertical backhaul fronthaul framework for 5g wireless networks"

Connected through hyperedge HE-2 (induced by source paper "the current state of affairs in 5g security and the main remaining security challenges"):
  with members:
    - "security and protocol exploit analysis of the 5g specifications"
    - "defeating the downgrade attack on identity privacy in 5g"
    - "lte security protocol exploits and location tracking experimentation with low cost software radio"
    - "srslte an open source platform for lte evolution and experimentation"
    - "practical attacks against privacy and availability in 4g lte mobile communication systems"

Connected through hyperedge HE-3 (induced by source paper "symbolic abstractions for quantum protocol verification"):
  with members:
    - "the foundational cryptography framework"
    - "automated verification of quantum protocols using mcmas"
    - "an automated analysis of the security of quantum key distribution"

Connected through hyperedge HE-4 (induced by source paper "towards a data centric approach for the design and verification of cryptographic protocols"):
  with members:
    - "automated cryptographic analysis of the pedersen commitment scheme"

Connected through hyperedge HE-5 (induced by source paper "security and protocol exploit analysis of the 5g specifications"):
  with members:
    - "defeating the downgrade attack on identity privacy in 5g"
    - "the 5g aka authentication protocol privacy"
    - "lte phy layer vulnerability analysis and testing using open source sdr tools"
    - "extending lte into the unlicensed spectrum technical analysis of the proposed variants"
    - "performance analysis of a mission critical portable lte system in targeted rf interference"
    - "lte security protocol exploits and location tracking experimentation with low cost software radio"
    - "practical attacks against privacy and availability in 4g lte mobile communication systems"
    - "five disruptive technology directions for 5g"

Connected through hyperedge HE-6 (induced by source paper "verifying security protocols using dynamic strategies"):
  with members:
    - "atpboost learning premise selection in binary setting with atp feedback"
    - "automated proof synthesis for propositional logic with deep neural networks"
    - "holstep a machine learning dataset for higher order logic theorem proving"
    - "deepmath deep sequence models for premise selection"
    - "a comprehensive formal security analysis of oauth 2 0"
    - "end to end memory networks"
    - "a hybrid analysis for security protocols with state"

Connected through hyperedge HE-7 (induced by source paper "the 5g aka authentication protocol privacy"):
  with members:
    - "formal computational unlinkability proofs of rfid protocols"
    - "the applied pi calculus mobile values new names and secure communication"
    - "practical attacks against privacy and availability in 4g lte mobile communication systems"

Connected through hyperedge HE-8 (induced by source paper "improving automated symbolic analysis for e voting protocols a method based on sufficient conditions for ballot secrecy"):
  with members:
    - "a type system for privacy properties technical report"
    - "a survey of symbolic methods for establishing equivalence based properties in cryptographic protocols"

Question: Please tell me which class the center node belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.CR(Cryptography and Security)