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: "exploiting the laws of order in smart contracts"
  Abstract: We investigate a family of bugs in blockchain-based smart contracts, which we call event-ordering (or EO) bugs. These bugs are intimately related to the dynamic ordering of contract events, i.e., calls of its functions on the blockchain, and enable potential exploits of millions of USD worth of Ether. Known examples of such bugs and prior techniques to detect them have been restricted to a small number of event orderings, typicall 1 or 2. Our work provides a new formulation of this general class of EO bugs as finding concurrency properties arising in long permutations of such events. The technical challenge in detecting our formulation of EO bugs is the inherent combinatorial blowup in path and state space analysis, even for simple contracts. We propose the first use of partial-order reduction techniques, using happen-before relations extracted automatically for contracts, along with several other optimizations built on a dynamic symbolic execution technique. We build an automatic tool called ETHRACER that requires no hints from users and runs directly on Ethereum bytecode. It flags 7-11% of over ten thousand contracts analyzed in roughly 18.5 minutes per contract, providing compact event traces that human analysts can run as witnesses. These witnesses are so compact that confirmations require only a few minutes of human effort. Half of the flagged contracts have subtle EO bugs, including in ERC-20 contracts that carry hundreds of millions of dollars worth of Ether. Thus, ETHRACER is effective at detecting a subtle yet dangerous class of bugs which existing tools miss.

Connected through hyperedge HE-1 (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"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "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-2 (induced by source paper "oracle supported dynamic exploit generation for smart contracts"):
  with members:
    - "precise attack synthesis for smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "sereum protecting existing smart contracts against re entrancy attacks"
    - "quantitative analysis of smart contracts"
    - "evaluating fuzz testing"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "learning inputs in greybox fuzzing"
    - "towards safer smart contracts a survey of languages and verification methods"

Connected through hyperedge HE-3 (induced by source paper "safevm a safety verifier for ethereum smart contracts"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "online detection of effectively callback free objects with applications to smart contracts"
    - "gastap a gas analyzer for smart contracts"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "vandal a scalable security analysis framework for smart contracts"
    - "securify practical security analysis of smart contracts"
    - "under optimized smart contracts devour your money"

Connected through hyperedge HE-4 (induced by source paper "the art of the scam demystifying honeypots in ethereum smart contracts"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "contractfuzzer fuzzing smart contracts for vulnerability detection"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "data mining for detecting bitcoin ponzi schemes"
    - "towards safer smart contracts a sequence learning approach to detecting security threats"
    - "towards safer smart contracts a sequence learning approach to detecting vulnerabilities"
    - "vandal a scalable security analysis framework for smart contracts"
    - "securify practical security analysis of smart contracts"

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"
    - "verisolid correct by design smart contracts for ethereum"
    - "obsidian typestate and assets for safer blockchain programming"
    - "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 "transactional smart contracts in blockchain systems"):
  with members:
    - "atomic commitment across blockchains"
    - "cross chain deals and adversarial commerce"
    - "towards global asset management in blockchain systems"
    - "atomic cross chain swaps"
    - "a concurrent perspective on smart contracts"
    - "adding concurrency to smart contracts"

Connected through hyperedge HE-7 (induced by source paper "running on fumes preventing out of gas vulnerabilities in ethereum smart contracts using static resource analysis"):
  with members:
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "online detection of effectively callback free objects with applications to smart contracts"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "securify practical security analysis of smart contracts"
    - "under optimized smart contracts devour your money"

Connected through hyperedge HE-8 (induced by source paper "gasol gas analysis and optimization for ethereum smart contracts"):
  with members:
    - "running on fumes preventing out of gas vulnerabilities in ethereum smart contracts using static resource analysis"
    - "broken metre attacking resource metering in evm"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "a semantic framework for the security analysis of ethereum smart contracts"
    - "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)