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: "Semantics and Program Analysis of Computationally Secure Information Flow"
  Abstract: This paper presents a definition of secure information flow. It is not based on noninterference, but on computational indistinguishability of the secret inputs, when the public outputs are observed. This definition allows cryptographic primitives to be handled. This paper also presents a Denning-style information-flow analysis for programs that use encryption as a primitive operation. The proof of the correctness of the analysis is sketched.

Connected through hyperedge HE-1 (induced by source paper "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles"):
  with members:
    - "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)"
    - "Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems"

Connected through hyperedge HE-2 (induced by source paper "Language-based information-flow security"):
  with members:
    - "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"
    - "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"

Connected through hyperedge HE-3 (induced by source paper "Abstract non-interference: parameterizing non-interference by abstract interpretation"):
  with members:
    - "Language-based information-flow security"
    - "Automatic Testing of Access Control for Security Properties"
    - "Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation"

Connected through hyperedge HE-4 (induced by source paper "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)"):
  with members:
    - "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles"
    - "Composability of bellare-rogaway key exchange protocols"
    - "Security analysis of cryptographically controlled access to XML documents"
    - "Strand spaces: why is a security protocol correct?"
    - "Formal security analysis of registration protocols for interactive systems: a methodology and a case of study"

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