Modeling of Mathematical Objects

and Resulting Mappings

Member List | ||
---|---|---|

Keisuke Tanaka | Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | HP |

Masaaki Umehara | Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | HP |

Sadayoshi Kojima | Professor, Fadulty of Science and Engineering, Waseda University | HP |

Yuji Terashima | Associate Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | |

Shinya Nishibata | Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | HP |

Hideyuki Miura | Associate Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | |

Sakie Suzuki | Associate Professor, Graduate School of Information Science and Engineering, Tokyo Institute of Technology | |

Masahiro Ishii | Assistant Professor, Global Scientific Information and Computing Center, Tokyo Institute of Technology | HP |

We mainly study the following two themes on the theory of cryptography. The first one is to investigate mathematical objects, which can be used in concrete constructions for important cryptographic primitives such as public-key encryption, digital signature, or trapdoor one-way function. Especially, we focus on those which also appear in advanced topics of mathematics but not so far in the field of cryptography. The second one is to study reductions which are typically used in the security proofs in many cryptographic schemes. In particular, in order to develop their techniques applicable to the real world, we focus on those which originally come from advanced studies in mathematics.