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: "contractfuzzer fuzzing smart contracts for vulnerability detection"
  Abstract: Decentralized cryptocurrencies feature the use of blockchain to transfer values among peers on networks without central agency. Smart contracts are programs running on top of the blockchain consensus protocol to enable people make agreements while minimizing trusts. Millions of smart contracts have been deployed in various decentralized applications. The security vulnerabilities within those smart contracts pose significant threats to their applications. Indeed, many critical security vulnerabilities within smart contracts on Ethereum platform have caused huge financial losses to their users. In this work, we present ContractFuzzer, a novel fuzzer to test Ethereum smart contracts for security vulnerabilities. ContractFuzzer generates fuzzing inputs based on the ABI specifications of smart contracts, defines test oracles to detect security vulnerabilities, instruments the EVM to log smart contracts runtime behaviors, and analyzes these logs to report security vulnerabilities. Our fuzzing of 6991 smart contracts has flagged more than 459 vulnerabilities with high precision. In particular, our fuzzing tool successfully detects the vulnerability of the DAO contract that leads to USD 60 million loss and the vulnerabilities of Parity Wallet that have led to the loss of USD 30 million and the freezing of USD 150 million worth of Ether.

Connected through hyperedge HE-1 (induced by source paper "smart contract development from the perspective of developers topics and issues discussed on social media"):
  with members:
    - "a survey on ethereum systems security vulnerabilities attacks and defenses"
    - "when energy trading meets blockchain in electrical power system the state of the art"
    - "slither a static analysis framework for smart contracts"
    - "what are the actual flaws in important smart contracts and how can we find them"
    - "verisolid correct by design smart contracts for ethereum"
    - "manticore a user friendly symbolic execution framework for binaries and smart contracts"
    - "tool demonstration fsolidm for designing secure ethereum smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"

Connected through hyperedge HE-2 (induced by source paper "ae gis shielding vulnerable smart contracts against attacks"):
  with members:
    - "slither a static analysis framework for smart contracts"
    - "soliditycheck quickly detecting smart contract problems through regular expressions"
    - "harvey a greybox fuzzer for smart contracts"
    - "exploiting the laws of order in smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "towards safer smart contracts a sequence learning approach to detecting security threats"
    - "towards safer smart contracts a sequence learning approach to detecting vulnerabilities"

Connected through hyperedge HE-3 (induced by source paper "security analysis of eosio smart contracts"):
  with members:
    - "characterizing eosio blockchain"
    - "easyflow keep ethereum away from overflow"
    - "memory safety preservation for webassembly"
    - "characterizing code clones in the ethereum smart contract ecosystem"
    - "a security case study for blockchain games"
    - "taintassembly taint based information flow control tracking for webassembly"
    - "wasabi a framework for dynamically analyzing webassembly"
    - "taint tracking for webassembly"

Connected through hyperedge HE-4 (induced by source paper "attacking the defi ecosystem with flash loans for fun and profit"):
  with members:
    - "libra fair order matching for electronic financial exchanges"
    - "flash boys 2 0 frontrunning transaction reordering and consensus instability in decentralized exchanges"
    - "harvey a greybox fuzzer for smart contracts"
    - "securify practical security analysis of smart contracts"
    - "bitcoin ng a scalable blockchain protocol"

Connected through hyperedge HE-5 (induced by source paper "characterizing eosio blockchain"):
  with members:
    - "evulhunter detecting fake transfer vulnerabilities for eosio s smart contracts at webassembly level"
    - "characterizing code clones in the ethereum smart contract ecosystem"
    - "securify practical security analysis of smart contracts"
    - "bitcoin transaction graph analysis"
    - "deanonymisation of clients in bitcoin p2p network"

Connected through hyperedge HE-6 (induced by source paper "defining smart contract defects on ethereum"):
  with members:
    - "smartembed a tool for clone and bug detection in smart contracts through structural code embedding"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "enriching word vectors with subword information"

Connected through hyperedge HE-7 (induced by source paper "adf ga data flow criterion based test case generation for ethereum smart contracts"):
  with members:
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "securify practical security analysis of smart contracts"

Connected through hyperedge HE-8 (induced by source paper "the security reference architecture for blockchains towards a standardized model for studying vulnerabilities threats and defenses"):
  with members:
    - "ekiden a platform for confidentiality preserving trustworthy and performant smart contracts"
    - "a survey on ethereum systems security vulnerabilities attacks and defenses"
    - "security and privacy on blockchain"
    - "deconstructing blockchains a comprehensive survey on consensus membership and structure"
    - "truffle tests for free replaying ethereum smart contracts for transparency"
    - "blockchain technologies for the internet of things research issues and challenges"
    - "exploring the attack surface of blockchain a systematic overview"
    - "strongchain transparent and collaborative proof of work consensus"

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.SE(Software Engineering)