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: "canal a cache timing analysis framework via llvm transformation"
  Abstract: A unified modeling framework for non-functional properties of a program is essential for research in software analysis and verification, since it reduces burdens on individual researchers to implement new approaches and compare existing approaches. We present CANAL, a framework that models the cache behaviors of a program by transforming its intermediate representation in the LLVM compiler. CANAL inserts auxiliary variables and instructions over these variables, to allow standard verification tools to handle a new class of cache related properties, e.g., for computing the worst-case execution time and detecting side-channel leaks. We demonstrate the effectiveness of CANAL using three verification tools: KLEE, SMACK and Crab-llvm. We confirm the accuracy of our cache model by comparing with CPU cycle-accurate simulation results of GEM5. CANAL is available on GitHub and YouTube.

Connected through hyperedge HE-1 (induced by source paper "specusym speculative symbolic execution for cache timing leak detection"):
  with members:
    - "mitigating power side channels during compilation"
    - "specfuzz bringing spectre type vulnerabilities to the surface"
    - "identifying cache based side channels through secret augmented abstract interpretation"
    - "neural network model extraction attacks in edge devices by hearing architectural hints"
    - "abstract interpretation under speculative execution"
    - "ct fuzz fuzzing for timing leaks"
    - "savior towards bug driven hybrid testing"
    - "spoiler speculative load hazards boost rowhammer and cache attacks"

Connected through hyperedge HE-2 (induced by source paper "efficient detection and quantification of timing leaks with neural networks"):
  with members:
    - "mitigating power side channels during compilation"
    - "eliminating timing side channel leaks using program repair"
    - "adversarial symbolic execution for detecting concurrency related cache timing leaks"
    - "data driven debugging for functional side channels"
    - "vuldeepecker a deep learning based system for vulnerability detection"
    - "discriminating traces with time"
    - "differential performance debugging with discriminant regression trees"
    - "binarized neural networks training deep neural networks with weights and activations constrained to 1 or 1"

Connected through hyperedge HE-3 (induced by source paper "abstract interpretation under speculative execution"):
  with members:
    - "mitigating power side channels during compilation"
    - "eliminating timing side channel leaks using program repair"
    - "adversarial symbolic execution for detecting concurrency related cache timing leaks"
    - "spectre attacks exploiting speculative execution"
    - "time protection the missing os abstraction"
    - "modular verification of interrupt driven software"
    - "thread modular static analysis for relaxed memory models"
    - "flow sensitive composition of thread modular abstract interpretation"

Connected through hyperedge HE-4 (induced by source paper "mitigating power side channels during compilation"):
  with members:
    - "quantitative verification of masked arithmetic programs against side channel attacks"
    - "identifying cache based side channels through secret augmented abstract interpretation"
    - "abstract interpretation under speculative execution"
    - "eliminating timing side channel leaks using program repair"
    - "adversarial symbolic execution for detecting concurrency related cache timing leaks"
    - "diffuzz differential fuzzing for side channel analysis"
    - "compositional synthesis of leakage resilient programs"

Connected through hyperedge HE-5 (induced by source paper "debreach mitigating compression side channels via static analysis and transformation"):
  with members:
    - "mitigating power side channels during compilation"
    - "abstract interpretation under speculative execution"
    - "eliminating timing side channel leaks using program repair"
    - "adversarial symbolic execution for detecting concurrency related cache timing leaks"
    - "datalog based scalable semantic diffing of concurrent programs"

Connected through hyperedge HE-6 (induced by source paper "parametric timed model checking for guaranteeing timed opacity"):
  with members:
    - "what s decidable about parametric timed automata"
    - "eliminating timing side channel leaks using program repair"
    - "adversarial symbolic execution for detecting concurrency related cache timing leaks"
    - "better abstractions for timed automata"
    - "control and synthesis of non interferent timed systems"

Connected through hyperedge HE-7 (induced by source paper "ct fuzz fuzzing for timing leaks"):
  with members:
    - "eliminating timing side channel leaks using program repair"
    - "rigorous analysis of software countermeasures against cache attacks"

Connected through hyperedge HE-8 (induced by source paper "adversarial symbolic execution for detecting concurrency related cache timing leaks"):
  with members:
    - "eliminating timing side channel leaks using program repair"
    - "compositional synthesis of leakage resilient programs"

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.SE(Software Engineering)