Yuichi FUTA
| Name | Yuichi FUTA |
| Department/Research Field | Computer Science/Information Security, Cryptology |
| Research content |
| Nowadays, we are immersed in information communication technologies, such as Internet services (E-mail, Web service), electronic money, online banking, broadcasting, etc. At the same time, such situations are risky due to the attacks on the information systems, e.g. illegal data acquisition. Our laboratory studies information security and practical information security systems. Especially, we focus on design of cryptosystems, tamper-resistant software technology and security verification of cryptosystems by computer (with formal method). |
 |
| Research theme |
1. Network Security |
| Research keywords |
| Cryptology , Security evaluation , Formal verification |
| Lab link |