Research Interests  [ formal verification ]

6 items found

  • <
  • >
  • Kyoto Sangyo University
    Faculty of Computer Science and Engineering, Department of Network Media, Research Institute of Advanced Technology, Faculty of Engineering  
    Director of Research Institute of Advanced Technology, Kyoto Sangyo Univ.,Professor of Faculty of Engineering
  • Japan Advanced Institute of Science and Technology
  • National Institute of Advanced Industrial Science and Technology
    Cyber Physical Security Research Center  
    Research Scientist
  • University of Tsukuba
    Faculty of Engineering,Information and Systems  
  • Former Institution / Organization National Institute of Information and Communications Technology Security Fundamentals Group, Information and Networks Systems Department
    Research Fellow
  • Waseda University
    School of Fundamental Science and Engineering  

  • <
  • >