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: "tool demonstration fsolidm for designing secure ethereum smart contracts"
  Abstract: Blockchain-based distributed computing platforms enable the trusted execution of computation - defined in the form of smart contracts - without trusted agents. Smart contracts are envisioned to have a variety of applications, ranging from financial to IoT asset tracking. Unfortunately, the development of smart contracts has proven to be extremely error prone. In practice, contracts are riddled with security vulnerabilities comprising a critical issue since bugs are by design non-fixable and contracts may handle financial assets of significant value. To facilitate the development of secure smart contracts, we have created the FSolidM framework, which allows developers to define contracts as finite state machines (FSMs) with rigorous and clear semantics. FSolidM provides an easy-to-use graphical editor for specifying FSMs, a code generator for creating Ethereum smart contracts, and a set of plugins that developers may add to their FSMs to enhance security and functionality.

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"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "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"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"

Connected through hyperedge HE-3 (induced by source paper "smart contract development in practice trends issues and discussions on stack overflow"):
  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"
    - "transax a blockchain based decentralized forward trading energy exchange for transactive microgrids"
    - "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"
    - "finding the greedy prodigal and suicidal contracts at scale"

Connected through hyperedge HE-4 (induced by source paper "empirical review of automated analysis tools on 47 587 ethereum smart contracts"):
  with members:
    - "a survey on ethereum systems security vulnerabilities attacks and defenses"
    - "the art of the scam demystifying honeypots in ethereum smart contracts"
    - "slither a static analysis framework for smart contracts"
    - "smart contract vulnerabilities does anyone care"
    - "domain specific code smells in smart contracts"
    - "manticore a user friendly symbolic execution framework for binaries and smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"

Connected through hyperedge HE-5 (induced by source paper "verisolid correct by design smart contracts for ethereum"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "lolisa formal syntax and semantics for a subset of the solidity programming language"
    - "vandal a scalable security analysis framework for smart contracts"
    - "securify practical security analysis of smart contracts"
    - "executable operational semantics of solidity"

Connected through hyperedge HE-6 (induced by source paper "solc verify a modular verifier for solidity smart contracts"):
  with members:
    - "slither a static analysis framework for smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "scilla a smart contract intermediate level language"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "towards safer smart contracts a survey of languages and verification methods"
    - "formal specification and verification of smart contracts for azure blockchain"
    - "securify practical security analysis of smart contracts"

Connected through hyperedge HE-7 (induced by source paper "empirical vulnerability analysis of automated smart contracts security testing on blockchains"):
  with members:
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "internet of things security and forensics challenges and opportunities"
    - "smart contract based access control for the internet of things"
    - "nonreciprocity compensation combined with turbo codes for secret key generation in vehicular ad hoc social iot networks"
    - "designing secure ethereum smart contracts a finite state machine based approach"
    - "statistical model checking an overview"

Connected through hyperedge HE-8 (induced by source paper "formal specification and verification of smart contracts for azure blockchain"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "securify practical security analysis of 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)