Rchr
J-GLOBAL ID：201701015821279575   Update date: Apr. 01, 2024

Tsukada Yasuyuki

ツカダ ヤスユキ | Tsukada Yasuyuki
Affiliation and department：
Kanto Gakuin University College of Science and Engineering

About Kanto Gakuin University College of Science and Engineering


Job title： Professor
Homepage URL  (2)： http://home.kanto-gakuin.ac.jp/~tsukada/index-j.html ,  http://home.kanto-gakuin.ac.jp/~tsukada/
Research field  (3)： Information theory ,  Information security ,  Software
Research keywords  (4)： security ,  privacy ,  trust ,  formal methods
Papers (25)：
ｍore...
MISC (10)：
  • Kunihiko Fujita, Yasuyuki Tsukada. A formal foundation for digital rights management description language for content circulation (in Japanese). Business Review, Faculty of Business Administration, Bunkyo Gakuin University. 2018. 28. 1. 85-94
  • Kunihiko Fujita, Yasuyuki Tsukada. A license model for medical information services (in Japanese). Business Review, Faculty of Business Administration, Bunkyo Gakuin University. 2016. 26. 1. 13-21
  • Yasuyuki Tsukada. Foreword: Courage to take off (in Japanese). Bulletin of the Japan Society for Industrial and Applied Mathematics. 2014. 24. 2. 1
  • Yasuyuki Tsukada, Ken Mano, Hideki Sakurada. Formal methods for security and privacy (in Japanese). NTT GIJUTU Journal. 2011. 23. 9. 22-25
  • Akiko Orita, Ken Mano, Yasuyuki Tsukada. Translation of essential terms to Japanese. A terminology for talking about privacy by data minimization: Anonymity, Unlinkability, Undetectability, Unobservability, Pseudonymity, and Identity Management, Version v0.34. 2010. 74-78
ｍore...
Patents (7)：
  • Apparatus, method, and computer program product for calculating computational trust (in Japanese)
  • System and method for tamper-proofing proof-carrying code (in Japanese)
  • Method, apparatus, and computer program product for verifying anonymity based on role-interchangeability (in Japanese)
  • Apparatus and method for verifying combinatorial secrecy (in Japanese)
  • Apparatus, method, and computer program product for verifying anonymity (in Japanese)
ｍore...
Books (3)：
  • Information security by formal methods (in Japanese) [K. Ohta and S. Moriai, editors, IEICE Knowledge-Base, Group 1, Part 3 (Cryptography)]
    IEICE 2010
  • Formalization and automation of security proof by sequences of games (in Japanese) [M. Hagiya and Y. Tsukada, editors, Formal Approach to Information Security, Industrial and Applied Mathematics Series, Vol. 1]
    Kyoritsu Shuppan 2010
  • Formal Approach to Information Security (in Japanese), Industrial and Applied Mathematics Series, Vol. 1
    Kyoritsu Shuppan 2010 ISBN:9784320019508
Lectures and oral presentations  (5)：
  • Proposal of discovering a route change procedure of SDN using model checking (in Japanese)
    (Proceedings of the 2024 General Conference of the Institute of Electronics, Information and Communication Engineers, A-10-04 2024)
  • Evaluation of differential attack resistance for lightweight block cipher GFRX (in Japanese)
    (Proceedings of the 2024 Symposium on Cryptography and Information Security, 3C4-1 2024)
  • A proposal for a secure computation method applicable on the blockchain (in Japanese)
    (Proceedings of the 83rd National Convention of IPSJ, 1X-04 2021)
  • Many-valued extension of trust using pair of quality and quantity (in Japanese)
    (Proceedings of the Computer Security Symposium 2016 (Information Processing Society of Japan), Vol. 2016, No. 2, pp. 1153-1160 2016)
  • Formulation of trust using pair of quality and quantity (in Japanese)
    (Proceedings of the Computer Security Symposium 2015 (Information Processing Society of Japan), Vol. 2015, No. 3, pp. 755-762 2015)
Education (2)：
  • 1988 - 1990 Tokyo Institute of Technology Graduate School of Science and Technology Department of Information Science, Awarded M.S. in Information Science
  • 1984 - 1988 Tokyo Institute of Technology Faculty of Science Department of Information Science, Awarded B.S. in Information Science
Professional career (2)：
  • Ph.D. (Tokyo Institute of Technology)
  • M.S. (Tokyo Institute of Technology)
Work history (10)：
  • 2024/04 - 現在 Kanto Gakuin University Master's Course in Informatics, Graduate School of Engineering Chair
  • 2017/04 - 現在 Kanto Gakuin University Networking and Multimedia Course, College of Science and Engineering Professor
  • 2020/04 - 2024/03 Kanto Gakuin University Networking and Multimedia Course, College of Science and Engineering Chair
  • 2018/04 - 2020/03 Kanto Gakuin University Master's Course in Informatics, Graduate School of Engineering Chair
  • 2010/10 - 2017/03 NTT Communication Science Laboratories Senior Research Scientist, Supervisor
Show all
Committee career (16)：
  • 2013/04 - 2022/03 The Japan Society for Industrial and Applied Mathematics (JSIAM) Member delegate
  • 2013/05 - 2014/06 The Japan Society for Industrial and Applied Mathematics (JSIAM) Vice President
  • 2012/04 - 2014/06 The Japan Society for Industrial and Applied Mathematics (JSIAM) Member of the Board of Trustees
  • 2008/05 - 2012/03 The Japan Society for Industrial and Applied Mathematics (JSIAM) Member of the editorial board of the JSIAM Letters
  • 2006/05 - 2012/03 The Japan Society for Industrial and Applied Mathematics (JSIAM) Member of the steering committee for JSIAM FAIS (Special Interest Group on Formal Approach to Information Security)
Show all
Awards (1)：
  • 2005/10 - Information Processing Society of Japan (IPSJ) Best Papers Award of CSS 2005 (Computer Security Symposium 2005) "Simulation techniques to verify anonymity of security protocols (in Japanese)"
Association Membership(s) (4)：
Association for Computing Machinery (ACM) ,  Information Processing Society of Japan (IPSJ) ,  The Japan Society for Industrial and Applied Mathematics (JSIAM) ,  Japan Society for Software Science and Technology (JSSST)
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM