human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge groups authors who co-authored the same paper.

Details of the hypergraph:
Center hyperedge (induced by source paper "Abstract non-interference: parameterizing non-interference by abstract interpretation"):
  Abstract: In this paper we generalize the notion of non-interference making it parametric relatively to what an attacker can analyze about the input/output information flow. The idea is to consider attackers as data-flow analyzers, whose task is to reveal properties of confidential resources by analyzing public ones. This means that no unauthorized flow of information is possible from confidential to public data, relatively to the degree of precision of an attacker. We prove that this notion can be fully specified in standard abstract interpretation framework, making the degree of security of a program a property of its semantics. This provides a comprehensive account of non-interference features for language-based security. We introduce systematic methods for extracting attackers from programs, providing domain-theoretic characterizations of the most precise attackers which cannot violate the security of a given program. These methods allow us both to compare attackers and program secrecy by comparing the corresponding abstractions in the lattice of abstract interpretations, and to design automatic program certification tools for language-based security by abstract interpretation.

Includes members:
  Member "Semantics and Program Analysis of Computationally Secure Information Flow":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles")
  Member "Language-based information-flow security":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript")
  Member "Automatic Testing of Access Control for Security Properties":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "More testable properties")
  Member "Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation":
    also connected through other hyperedges:
      (none)

Question: Please tell me which research area the co-authored paper (i.e., the source paper of the center hyperedge) belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science