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

Connected through hyperedge HE-1 (induced by source paper "Formal security analysis of registration protocols for interactive systems: a methodology and a case of study"):
  with members:
    (none)

Connected through hyperedge HE-2 (induced by source paper "Security analysis of cryptographically controlled access to XML documents"):
  with members:
    - "Entropy based nearest neighbor search in high dimensions"
    - "Deductive databases for computing certain and consistent answers from mediated data integration systems"
    - "Extending decidable existential rules by joining acyclicity and guardedness"

Connected through hyperedge HE-3 (induced by source paper "Semantics and Program Analysis of Computationally Secure Information Flow"):
  with members:
    - "Language-based information-flow security"
    - "Abstract non-interference: parameterizing non-interference by abstract interpretation"
    - "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 "Strand spaces: why is a security protocol correct?"):
  with members:
    - "Honest ideals on strand spaces"

Connected through hyperedge HE-5 (induced by source paper "Composability of bellare-rogaway key exchange protocols"):
  with members:
    - "Rethinking Definitions of Security for Session Key Agreement."

Connected through hyperedge HE-6 (induced by source paper "Key-dependent Message Security under Active Attacks--BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles"):
  with members:
    - "Semantics and Program Analysis of Computationally Secure Information Flow"
    - "Fast Cryptographic Primitives and Circular-Secure Encryption Based on Hard Learning Problems"

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: Mathematics