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: "An Information Flow Monitor-Inlining Compiler for Securing a Core of JavaScript"
  Abstract: Web application designers and users alike are interested in isolation properties for trusted JavaScript code in order to prevent confidential resources from being leaked to untrusted parties. Noninterference provides the mathematical foundation for reasoning precisely about the information flows that take place during the execution of a program. Due to the dynamicity of the language, research on mechanisms for enforcing noninterference in JavaScript has mostly focused on dynamic approaches. We present the first information flow monitor inlining compiler for a realistic core of JavaScript. We prove that the proposed compiler enforces termination-insensitive noninterference and we provide an implementation that illustrates its applicability.

Connected through hyperedge HE-1 (induced by source paper "Language-based information-flow security"):
  with members:
    - "Semantics and Program Analysis of Computationally Secure Information Flow"
    - "Abstract non-interference: parameterizing non-interference by abstract interpretation"
    - "Evaluation of anonymity and confidentiality protocols using theorem proving"
    - "Securing web application code by static analysis and runtime protection"
    - "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