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 "towards constant time foundations for the new spectre era"):
  Abstract: The constant-time discipline is a software-based countermeasure used for protecting high assurance cryptographic implementations against timing side-channel attacks. Constant-time is effective (it protects against many known attacks), rigorous (it can be formalized using program semantics), and amenable to automated verification. Yet, the advent of micro-architectural attacks makes constant-time as it exists today far less useful. #R##N#This paper lays foundations for constant-time programming in the presence of speculative and out-of-order execution. Our first contribution is an operational semantics, and a formal definition of constant-time programs in this extended setting. Our semantics eschews formalization of micro-architectural features (that are instead assumed under adversary control), and yields a notion of constant-time that retains the elegance and tractability of the usual notion. We demonstrate the relevance of our semantics by contrasting existing Spectre-like attacks with our definition of constant-time and by exhibiting a new (theoretical) class of Spectre attacks based on alias prediction. Our second contribution is a static analysis tool, Pitchfork, which detects violations of our extended constant-time property (for a subset of the semantics presented in this paper).

Includes members:
  Member "abstract interpretation under speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "specusym speculative symbolic execution for cache timing leak detection")
  Member "spectre is here to stay an analysis of side channels and speculative execution":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "bypassing memory safety mechanisms through speculative control flow hijacks")
  Member "store to leak forwarding leaking data on meltdown resistant cpus":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "context leakage free transient execution")
  Member "zombieload cross privilege boundary data sampling":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "hardware security for and beyond cmos technology an overview on fundamentals applications and challenges")
  Member "spoiler speculative load hazards boost rowhammer and cache attacks":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "are we susceptible to rowhammer an end to end methodology for cloud providers")
  Member "inspectre breaking and fixing microarchitectural vulnerabilities by formal analysis":
    also connected through other hyperedges:
      (none)
  Member "eliminating timing side channel leaks using program repair":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "a compiler assisted scheduler for detecting and mitigating cache based side channel attacks")
  Member "speculative buffer overflows attacks and defenses":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "bypassing memory safety mechanisms through speculative control flow hijacks")

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)