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 "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.

Includes members:
  Member "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "Formal security analysis of registration protocols for interactive systems: a methodology and a case of study")
  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 "Abstract non-interference: parameterizing non-interference by abstract interpretation":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Automatic Testing of Access Control for Security Properties")
  Member "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems")

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