human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "detecting violations of differential privacy"):
  Abstract: The widespread acceptance of differential privacy has led to the publication of many sophisticated algorithms for protecting privacy. However, due to the subtle nature of this privacy definition, many such algorithms have bugs that make them violate their claimed privacy. In this paper, we consider the problem of producing counterexamples for such incorrect algorithms. The counterexamples are designed to be short and human-understandable so that the counterexample generator can be used in the development process -- a developer could quickly explore variations of an algorithm and investigate where they break down. Our approach is statistical in nature. It runs a candidate algorithm many times and uses statistical tests to try to detect violations of differential privacy. An evaluation on a variety of incorrect published algorithms validates the usefulness of our approach: it correctly rejects incorrect algorithms and provides counterexamples for them within a few seconds.

Includes members:
  Member "synthesizing coupling proofs of differential privacy":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "guidelines for implementing and auditing differentially private systems")
  Member "relational symbolic execution":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "proving differential privacy with shadow execution")
  Member "renyi differential privacy":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "guidelines for implementing and auditing differentially private systems")
  Member "lightdp towards automating differential privacy proofs":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "guidelines for implementing and auditing differentially private systems")
  Member "advanced probabilistic couplings for differential privacy":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "guidelines for implementing and auditing differentially private systems")
  Member "understanding the sparse vector technique for differential privacy":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "private and communication efficient edge learning a sparse differential gaussian masking distributed sgd approach")
  Member "concentrated differential privacy simplifications extensions and lower bounds":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "reasoning about generalization via conditional mutual information")
  Member "concentrated differential privacy":
    also connected through other hyperedges:
      - Hyperedge HE-8 (induced by source paper "privately learning markov random fields")

Question: Please tell me which class the source paper 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)