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: "scilla a smart contract intermediate level language"
  Abstract: This paper outlines key design principles of Scilla---an intermediate-level language for verified smart contracts. #R##N#Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification. Scilla is not meant to be a high-level programming language, and we are going to use it as a translation target for high-level languages, such as Solidity, for performing program analysis and verification, before further compilation to an executable bytecode. #R##N#We describe the automata-based model of Scilla, present its programming component and show how contract definitions in terms of automata streamline the process of mechanised verification of their safety and temporal properties.

Connected through hyperedge HE-1 (induced by source paper "albert an intermediate smart contract language for the tezos blockchain"):
  with members:
    - "mi cho coq a framework for certifying tezos smart contracts"
    - "a semantic framework for the security analysis of ethereum smart contracts"

Connected through hyperedge HE-2 (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-3 (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"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"

Connected through hyperedge HE-4 (induced by source paper "presto a systematic framework for blockchain consensus protocols"):
  with members:
    - "oceanic games centralization risks and incentives in blockchain mining"
    - "weighted voting on the blockchain improving consensus in proof of stake protocols"
    - "blockchain trilemma solver algorand has dilemma over undecidable messages"
    - "blockchain technologies for the internet of things research issues and challenges"
    - "strongchain transparent and collaborative proof of work consensus"
    - "a survey on consensus mechanisms and mining strategy management in blockchain networks"
    - "sok tools for game theoretic models of security for cryptocurrencies"
    - "incentives in ethereum s hybrid casper protocol"

Connected through hyperedge HE-5 (induced by source paper "a security reference architecture for blockchains"):
  with members:
    - "ekiden a platform for confidentiality preserving trustworthy and performant smart contracts"
    - "strongchain transparent and collaborative proof of work consensus"
    - "insight into insiders and it a survey of insider threat taxonomies analysis modeling and countermeasures"
    - "dfinity technology overview series consensus system"
    - "short paper towards more reliable bitcoin timestamps"
    - "the latest gossip on bft consensus"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "sabre protecting bitcoin against routing attacks"

Connected through hyperedge HE-6 (induced by source paper "security analysis methods on ethereum smart contract vulnerabilities a survey"):
  with members:
    - "easyflow keep ethereum away from overflow"
    - "a security case study for blockchain games"
    - "a hybrid formal verification system in coq for ensuring the reliability and security of ethereum based service smart contracts"
    - "finding the greedy prodigal and suicidal contracts at scale"
    - "ethir a framework for high level analysis of ethereum bytecode"
    - "formal process virtual machine for smart contracts verification"
    - "empirical vulnerability analysis of automated smart contracts security testing on blockchains"
    - "a semantic framework for the security analysis of ethereum smart contracts"

Connected through hyperedge HE-7 (induced by source paper "a true concurrent model of smart contracts executions"):
  with members:
    - "a minimal core calculus for solidity contracts"
    - "verisolid correct by design smart contracts for ethereum"
    - "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-8 (induced by source paper "solc verify a modular verifier for solidity smart contracts"):
  with members:
    - "slither a static analysis framework for smart contracts"
    - "tool demonstration fsolidm for designing secure ethereum 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 survey of languages and verification methods"
    - "formal specification and verification of smart contracts for azure blockchain"
    - "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.PL(Programming Languages)