human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "spectector principled detection of speculative information flows"):
  Abstract: Since the advent of SPECTRE, a number of countermeasures have been proposed and deployed. Rigorously reasoning about their effectiveness, however, requires a well-defined notion of security against speculative execution attacks, which has been missing until now. In this paper (1) we put forward speculative non-interference, the first semantic notion of security against speculative execution attacks, and (2) we develop SPECTECTOR, an algorithm based on symbolic execution to automatically prove speculative non-interference, or to detect violations. We implement SPECTECTOR in a tool, which we use to detect subtle leaks and optimizations opportunities in the way major compilers place SPECTRE countermeasures. A scalability analysis indicates that checking speculative non-interference does not exhibit fundamental bottlenecks beyond those inherited by symbolic execution.

Includes members:
  Member "spectre is here to stay an analysis of side channels and speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "bypassing memory safety mechanisms through speculative control flow hijacks")
  Member "sgxpectre stealing intel secrets from sgx enclaves via speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "distributed systems and trusted execution environments trade offs and challenges")
  Member "netspectre read arbitrary memory over network":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "ghostknight breaching data integrity via speculative execution")
  Member "meltdownprime and spectreprime automatically synthesized attacks exploiting invalidation based coherence protocols":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "store to leak forwarding leaking data on meltdown resistant cpus")
  Member "spectre attacks exploiting speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "towards probabilistic verification of machine unlearning")
  Member "you shall not bypass employing data dependencies to prevent bounds check bypass":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "context leakage free transient execution")
  Member "spectre returns speculation attacks using the return stack buffer":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "ghostknight breaching data integrity via speculative execution")
  Member "oo7 low overhead defense against spectre attacks via binary analysis":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "zombieload cross privilege boundary data sampling")

Question: Please tell me which class the source paper 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)