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: "finding the greedy prodigal and suicidal contracts at scale"
  Abstract: Smart contracts---stateful executable objects hosted on blockchains like Ethereum---carry billions of dollars worth of coins and cannot be updated once deployed. We present a new systematic characterization of a class of trace vulnerabilities, which result from analyzing multiple invocations of a contract over its lifetime. We focus attention on three example properties of such trace vulnerabilities: finding contracts that either lock funds indefinitely, leak them carelessly to arbitrary users, or can be killed by anyone. We implemented MAIAN, the first tool for precisely specifying and reasoning about trace properties, which employs inter-procedural symbolic analysis and concrete validator for exhibiting real exploits. Our analysis of nearly one million contracts flags 34,200 (2,365 distinct) contracts vulnerable, in 10 seconds per contract. On a subset of3,759 contracts which we sampled for concrete validation and manual analysis, we reproduce real exploits at a true positive rate of 89%, yielding exploits for3,686 contracts. Our tool finds exploits for the infamous Parity bug that indirectly locked 200 million dollars worth in Ether, which previous analyses failed to capture.

Connected through hyperedge HE-1 (induced by source paper "an overview on smart contracts challenges advances and platforms"):
  with members:
    - "the art of the scam demystifying honeypots in ethereum smart contracts"
    - "blockchain for internet of things a survey"
    - "evmfuzz differential fuzz testing of ethereum virtual machine"
    - "tool demonstration fsolidm for designing secure ethereum smart contracts"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "sabre protecting bitcoin against routing attacks"
    - "hunting the ethereum smart contract color inspired inspection of potential attacks"
    - "a survey on the security of blockchain systems"

Connected through hyperedge HE-2 (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"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"

Connected through hyperedge HE-3 (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"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "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-4 (induced by source paper "vyper a security comparison with solidity based on common vulnerabilities"):
  with members:
    - "a survey on ethereum systems security vulnerabilities attacks and defenses"
    - "verisolid correct by design smart contracts for ethereum"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"
    - "towards safer smart contracts a survey of languages and verification methods"
    - "vandal a scalable security analysis framework for smart contracts"
    - "securify practical security analysis of smart contracts"
    - "designing secure ethereum smart contracts a finite state machine based approach"

Connected through hyperedge HE-5 (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"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "enriching word vectors with subword information"

Connected through hyperedge HE-6 (induced by source paper "symbolic execution game semantics"):
  with members:
    - "higher order linearisability"
    - "higher order symbolic execution via contracts"

Connected through hyperedge HE-7 (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"

Connected through hyperedge HE-8 (induced by source paper "a survey on ethereum systems security vulnerabilities attacks and defenses"):
  with members:
    - "security and privacy on blockchain"
    - "exploring the attack surface of blockchain a systematic overview"
    - "a survey on consensus mechanisms and mining strategy management in blockchain networks"
    - "metrics towards measuring cyber agility"
    - "selfish mining in ethereum"
    - "a survey of distributed consensus protocols for blockchain networks"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "online detection of effectively callback free objects with applications to smart contracts"

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)