Skip to content

Naoki Egawa

  • Department of Computer Science, Tokyo Institute of Technology
  • 1PublicationsNumber of items in Naoki's My Publications folder on Mendeley.
  • 2Followers

Research interests

Model CheckingAttack GraphTemporal LogicNetwork Security

Followers (2)

Publications (1)

  • WEAVE: WEb Applications Validation Environment

    • Rajan S
    • Tkachuk O
    • Prasad M
    • et al.
    N/AReaders
    N/ACitations
    Get full text

Education

Master

Department of Computer Science, Tokyo Institute of Technology

April 2011 - Present

Bachelor

Department of Computer Science, Tokyo Institute of Technology

April 2007 - March 2011(4 years)