Naoya Nitta

[日本語]

[Reserch Topics]

• Formal Methods
  • Verification on Infinite State Systems
  • A Framework for Software Design Modification: Dependence Logic
• Information Security
  • Security Verification of Cryptographic Protocols
  • Automatic Construction of Intrusion Detection Systems

[Publications]

[Profile]

27 Feb.'67 Born in Japan.
'91 Graduate from Osaka Univ.
'98 Leave Dynaware Corp.
'98 Enter to NAIST(Nara Institute of Science and Technology Graduate School)
'02 Graduate from NAIST.
'02 Assistant professor, Graduate School of Information Sciece, NAIST
'05 Lectuler, Konan University