Skip to content

Naoki Egawa

  • Department of Computer Science, Tokyo Institute of Technology
  • 0ReadersNumber of instances of Naoki's publications in Mendeley libraries. Updated daily.
  • 1PublicationsNumber of items in Naoki's My Publications folder on Mendeley.

Research interests

Model CheckingAttack GraphTemporal LogicNetwork Security

Followers (1)

Publications (1)

  • WEAVE: WEb Applications Validation Environment

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

Education history

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)