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: "verisolid correct by design smart contracts for ethereum"
  Abstract: The adoption of blockchain based distributed ledgers is growing fast due to their ability to provide reliability, integrity, and auditability without trusted entities. One of the key capabilities of these emerging platforms is the ability to create self-enforcing smart contracts. However, the development of smart contracts has proven to be error-prone in practice, and as a result, contracts deployed on public platforms are often riddled with security vulnerabilities. This issue is exacerbated by the design of these platforms, which forbids updating contract code and rolling back malicious transactions. In light of this, it is crucial to ensure that a smart contract is secure before deploying it and trusting it with significant amounts of cryptocurrency. To this end, we introduce the VeriSolid framework for the formal verification of contracts that are specified using a transition-system based model with rigorous operational semantics. Our model-based approach allows developers to reason about and verify contract behavior at a high level of abstraction. VeriSolid allows the generation of Solidity code from the verified models, which enables the correct-by-design development of smart contracts.

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"
    - "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"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"

Connected through hyperedge HE-2 (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"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "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-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"
    - "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-4 (induced by source paper "a true concurrent model of smart contracts executions"):
  with members:
    - "a minimal core calculus for solidity contracts"
    - "scilla a smart contract intermediate level language"
    - "detecting token systems on ethereum"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "hyperledger fabric a distributed operating system for permissioned blockchains"
    - "an efficient framework for optimistic concurrent execution of 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 "securing smart contract on the fly"):
  with members:
    - "ct wasm type driven secure cryptography for the web ecosystem"
    - "obsidian typestate and assets for safer blockchain programming"
    - "exploiting the laws of order in smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "detecting standard violation errors in smart contracts"
    - "securify practical security analysis of smart contracts"

Connected through hyperedge HE-6 (induced by source paper "a minimal core calculus for solidity contracts"):
  with members:
    - "caterpillar a business process execution engine on the ethereum blockchain"
    - "scilla a smart contract intermediate level language"
    - "lolisa formal syntax and semantics for a subset of the solidity programming language"
    - "executable operational semantics of solidity"
    - "a concurrent perspective on smart contracts"

Connected through hyperedge HE-7 (induced by source paper "cyber physical simulation platform for security assessment of transactive energy systems"):
  with members:
    - "solidworx a resilient and trustworthy transactive platform for smart and connected communities"
    - "providing privacy safety and security in iot based transactive energy systems using distributed ledgers"

Connected through hyperedge HE-8 (induced by source paper "detecting standard violation errors in smart contracts"):
  with members:
    - "exploiting the laws of order in smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "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)