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 "oracle supported dynamic exploit generation for smart contracts"):
  Abstract: Despite the high stakes involved in smart contracts, they are often developed in an undisciplined manner, leaving the security and reliability of blockchain transactions at risk. In this paper, we introduce ContraMaster: an oracle-supported dynamic exploit generation framework for smart contracts. Existing approaches mutate only single transactions; ContraMaster exceeds these by mutating the transaction sequences. ContraMaster uses data-flow, control-flow, and the dynamic contract state to guide its mutations. It then monitors the executions of target contract programs, and validates the results against a general-purpose semantic test oracle to discover vulnerabilities. Being a dynamic technique, it guarantees that each discovered vulnerability is a violation of the test oracle and is able to generate the attack script to exploit this vulnerability. In contrast to rule-based approaches, ContraMaster has not shown any false positives, and it easily generalizes to unknown types of vulnerabilities (e.g., logic errors). We evaluate ContraMaster on 218 vulnerable smart contracts. The experimental results confirm its practical applicability and advantages over the state-of-the-art techniques, and also reveal three new types of attacks.

Includes members:
  Member "precise attack synthesis for smart contracts":
    also connected through other hyperedges:
      (none)
  Member "exploiting the laws of order in smart contracts":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "ae gis shielding vulnerable smart contracts against attacks")
  Member "finding the greedy prodigal and suicidal contracts at scale":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "an overview on smart contracts challenges advances and platforms")
  Member "sereum protecting existing smart contracts against re entrancy attacks":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "smacs smart contract access control service")
  Member "quantitative analysis of smart contracts":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "targeted greybox fuzzing with static lookahead analysis")
  Member "evaluating fuzz testing":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "meuzz smart seed scheduling for hybrid fuzzing")
  Member "contractfuzzer fuzzing smart contracts for vulnerability detection":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "smart contract development from the perspective of developers topics and issues discussed on social media")
  Member "learning inputs in greybox fuzzing":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "targeted greybox fuzzing with static lookahead analysis")

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)