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 "Reconciling Two Views of Cryptography (The Computational Soundness of Formal Encryption)"):
  Abstract: Two distinct, rigorous views of cryptography have developed over the years, in two mostly separate communities. One of the views relies on a simple but effective formal approach; the other, on a detailed computational model that considers issues of complexity and probability. There is an uncomfortable and interesting gap between these two approaches to cryptography. This paper starts to bridge the gap, by providing a computational justification for a formal treatment of encryption.

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 "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "Semantics and Program Analysis of Computationally Secure Information Flow")
  Member "Composability of bellare-rogaway key exchange protocols":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "Rethinking Definitions of Security for Session Key Agreement.")
  Member "Security analysis of cryptographically controlled access to XML documents":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "Deductive databases for computing certain and consistent answers from mediated data integration systems")
  Member "Strand spaces: why is a security protocol correct?":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "Honest ideals on strand spaces")
  Member "Formal security analysis of registration protocols for interactive systems: a methodology and a case of study":
    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: Mathematics