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: "adversarial symbolic execution for detecting concurrency related cache timing leaks"
  Abstract: The timing characteristics of cache, a high-speed storage between the fast CPU and the slowmemory, may reveal sensitive information of a program, thus allowing an adversary to conduct side-channel attacks. Existing methods for detecting timing leaks either ignore cache all together or focus only on passive leaks generated by the program itself, without considering leaks that are made possible by concurrently running some other threads. In this work, we show that timing-leak-freedom is not a compositional property: a program that is not leaky when running alone may become leaky when interleaved with other threads. Thus, we develop a new method, named adversarial symbolic execution, to detect such leaks. It systematically explores both the feasible program paths and their interleavings while modeling the cache, and leverages an SMT solver to decide if there are timing leaks. We have implemented our method in LLVM and evaluated it on a set of real-world ciphers with 14,455 lines of C code in total. Our experiments demonstrate both the efficiency of our method and its effectiveness in detecting side-channel leaks.

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"
    - "data driven debugging for functional side channels"
    - "vuldeepecker a deep learning based system for vulnerability detection"
    - "canal a cache timing analysis framework via llvm transformation"
    - "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"
    - "spectre attacks exploiting speculative execution"
    - "canal a cache timing analysis framework via llvm transformation"
    - "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"
    - "canal a cache timing analysis framework via llvm transformation"
    - "diffuzz differential fuzzing for side channel analysis"
    - "compositional synthesis of leakage resilient programs"

Connected through hyperedge HE-5 (induced by source paper "identifying cache based side channels through secret augmented abstract interpretation"):
  with members:
    - "microwalk a framework for finding side channels in binaries"
    - "did we learn from llc side channel attacks a cache leakage detection tool for crypto libraries"
    - "malware guard extension using sgx to conceal cache attacks"
    - "rigorous analysis of software countermeasures against cache attacks"
    - "armageddon cache attacks on mobile devices"
    - "determinating timing channels in compute clouds"

Connected through hyperedge HE-6 (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"
    - "datalog based scalable semantic diffing of concurrent programs"
    - "canal a cache timing analysis framework via llvm transformation"

Connected through hyperedge HE-7 (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"
    - "canal a cache timing analysis framework via llvm transformation"
    - "better abstractions for timed automata"
    - "control and synthesis of non interferent timed systems"

Connected through hyperedge HE-8 (induced by source paper "data driven debugging for functional side channels"):
  with members:
    - "eliminating timing side channel leaks using program repair"
    - "diffuzz differential fuzzing for side channel analysis"
    - "stealing hyperparameters in machine learning"
    - "discriminating traces with time"
    - "differential performance debugging with discriminant regression trees"

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)