布田 裕一

J-GLOBAL         Last updated: Dec 19, 2018 at 10:28
 
Avatar
Name
布田 裕一
Affiliation
Tokyo University of Technology
Section
School of Computer Science, Department of Computer Science
Degree
Doctor of Engineering(Shinshu University)
Research funding number
50706223

Research Areas

 
 

Academic & Professional Experience

 
Apr 1998
 - 
Feb 2013
Panasonic Corporation
 
Feb 2013
 - 
Mar 2016
Japan Advanced Institute of Science and Technology Graduate School of Information Science Research Associate Professor
 
Apr 2016
 - 
Sep 2016
Japan Advanced Institute of Science and Technology Graduate School of Advanced Science and Technology Research Associate Professor
 

Education

 
Oct 2009
 - 
Mar 2012
Department of Mathematics and System Development, Interdisciplinary Graduate School of Science and Technology, Shinshu University
 

Published Papers

 
Implicit Function Theorem. Part I
Kazuhisa Nakasho, Yuichi Futa and Yasunari Shidama
Formalized Mathematics   25(4) 269-282   Jan 2018   [Refereed]
An analysis attack with distributions is one of attacks against cipher schemes.
The attack need mathematical tools such as implicit functions and their properties. On the other hand, formalization has become important for security evaluation agai...
Isomorphism Theorem on Vector Spaces over a Ring
Yuichi Futa and Yasunari Shidama
Formalized Mathematics   25(3) 171-178   Dec 2017   [Refereed]
In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. However, the formalization of mathematical definitions and theorems for secur...
Dual Lattice of Z-module Lattice
Yuichi Futa and Yasunari Shidama
Formalized Mathematics   25(2) 157-169   Sep 2017   [Refereed]
In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. However, the formalization of mathematical definitions and theorems for secur...
Embedded Lattice and Properties of Gram Matrix
Yuichi Futa and Yasunari Shidama
Formalized Mathematics   25(1) 73-86   May 2017   [Refereed]
In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. However, the formalization of mathematical definitions and theorems for secu...
Lattice of Z-modules
Yuichi Futa and Yasunari Shidama
Formalized Mathematics   24(1) 37-47   Aug 2016   [Refereed]
In development of cryptosystems, security proof for their security evaluation is necessary. Formal verification with computers is important to avoid error in the proof. However, the formalization of mathematical definitions and theorems for secur...

Conference Activities & Talks

 
On the Function of "phase" in ProVerif
SCIS2017   25 Jan 2017   
Obfuscation of Symmetric Key Cryptography using Linear Obfuscation
10 Mar 2017   
e-Learning System for Cryptography on Moodle
Tatsuki Miyamoto, Shogo Shimura, Tatsuki Watanabe, Hiroyuki Okazaki, Yuichi Futa, Yasuyuki Murakami
Internet Conference 2018   26 Nov 2018