human: Given a node-centered hypergraph: <hypergraph>, where nodes represent authors and hyperedges represent groups of authors who co-authored the same paper.

Details of the hypergraph:
Center node: "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.

Connected through hyperedge HE-1 (induced by source paper "Automatic Testing of Access Control for Security Properties"):
  with members:
    - "More testable properties"

Connected through hyperedge HE-2 (induced by source paper "Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation"):
  with members:
    (none)

Connected through hyperedge HE-3 (induced by source paper "Semantics and Program Analysis of Computationally Secure Information Flow"):
  with members:
    - "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)"
    - "Language-based information-flow security"
    - "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles"

Connected through hyperedge HE-4 (induced by source paper "Language-based information-flow security"):
  with members:
    - "Semantics and Program Analysis of Computationally Secure Information Flow"
    - "Evaluation of anonymity and confidentiality protocols using theorem proving"
    - "Securing web application code by static analysis and runtime protection"
    - "An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript"
    - "Better security and privacy for web browsers: a survey of techniques, and a new implementation"
    - "Taint analysis of security code in the KLEE symbolic execution engine"

Question: Please tell me which research area the center author belongs to. The 4 classes are: Computer science, Mathematics, Engineering, Economics, Psychology, Business. Directly output the class name.

gpt: Computer science