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: "effectivesan type and memory error detection using dynamically typed c c"
  Abstract: Low-level programming languages such as C and C++ are vulnerable to errors related to the misuse of memory. Such errors include bounds overflows, sub-object bounds overflows, use-after-free, "reuse"-after-free and type confusion. These errors account for many of the exploits in programs implemented in such unsafe languages. Most bug detection tools (sanitizers) tend to focus only on detecting specific classes of errors, e.g. bounds overflow or type confusion only. In this paper, we present a new type confusion and memory error sanitizer based on dynamically checking the "effective type" (a.k.a. the dynamic type) of C/C++ objects at runtime. We show that this "effective type sanitizer" (EffectiveSan) can detect the memory misuse errors mentioned above, all while using the same underlying methodology (dynamic typing). Our approach uses a combination of low-fat pointers, type meta data and type check instrumentation. We also have a novel approach to preventing sub-object bound overflow errors leveraging on the C/C++ types. We show EffectiveSan finds type confusion, (sub-)object bounds overflow, and use-after-free bugs in the SPEC2006 benchmark suite.

Connected through hyperedge HE-1 (induced by source paper "dangkiller eliminating dangling pointers efficiently via implicit identifier"):
  with members:
    - "memory tagging and how it improves c c memory safety"
    - "intel mpx explained an empirical study of intel mpx and software based bounds checking approaches"

Connected through hyperedge HE-2 (induced by source paper "sok hardware security support for trustworthy execution"):
  with members:
    - "secloak arm trustzone based mobile peripheral control"
    - "reverse engineering x86 processor microcode"
    - "extracting secrets from encrypted virtual machines"
    - "sgxpectre stealing intel secrets from sgx enclaves via speculative execution"
    - "spectre attacks exploiting speculative execution"
    - "pac it up towards pointer integrity using arm pointer authentication"
    - "lord of the x86 rings a portable user mode privilege separation architecture on x86"
    - "severed subverting amd s virtual machine encryption"

Connected through hyperedge HE-3 (induced by source paper "practical byte granular memory blacklisting using califorms"):
  with members:
    - "sok sanitizing for security"
    - "spectre attacks exploiting speculative execution"
    - "memory tagging and how it improves c c memory safety"

Connected through hyperedge HE-4 (induced by source paper "when good components go bad formally secure compilation despite dynamic compromise"):
  with members:
    - "journey beyond full abstraction exploring robust property preservation for secure compilation"
    - "robust hyperproperty preservation for secure compilation extended abstract"
    - "the meaning of memory safety"
    - "modular fully abstract compilation by approximate back translation"
    - "beyond good and evil formalizing the security guarantees of compartmentalizing compilation"
    - "towards a fully abstract compiler using micro policies secure compilation for mutually distrustful components"

Connected through hyperedge HE-5 (induced by source paper "sok sanitizing for security"):
  with members:
    - "cup comprehensive user space protection for c c"
    - "intel mpx explained an empirical study of intel mpx and software based bounds checking approaches"
    - "control flow integrity precision security and performance"

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)