Implementation Schemes for Secure Software

What's New!

• International Symposium on Software Security (Tokyo Tech, Nov.4 -- Nov.6, 2003)
• International Symposium@Keio Mita-campus (11/8--11/10, 2002) Tentative Program
• Open Symposium@Keio Mita-campus(11/8, 2002)

Menu

• Research Overview (slides) (In Japanese)
• Project Overview (slides) (presented at TACS2001 )
• Press Release
  • summary(Japanese /English)
  • Summary Slides
  • Goals
• Member Information
• Research Formations
  • Category A01 : Formal Verification for System Security
    • (02) Leader Prof. Naoki Yonezaki, Tokyo Institute of Technology : Verification of Security Systems based on Logical Specification
    • (03) Leader Prof. Naoki Kobayashi, Tokyo Institute of Technology : Type Systems for Secure Computing
    • (04) Leader Prof. Kokichi Futatsugi, JAIST : Security Verification based on Behavior Specifications
  • Category A02 : Security-oriented Language Design and Efficient Implementation
    • (05) Leader Prof. Akinori Yonezawa, University of Tokyo Secure Programming Language Systems for Mobile Code Programming
    • (06) Leader Prof. Takuo Watanabe, Tokyo Institute of Technology : Secure Construction for Extensible/Adaptable Systems
    • (07) Leader Prof. Etsuya Shibayama, Tokyo Institute of Technology : Description Systems for Security Policy and Security Negotiation Models
  • Category A03 : Infrastructures for Secure Systems
    • (08) Leader Prof. Hideyuki Tokuda, Keio University : Operating System Supports for Secure Mobile Applications
    • (09) Leader Prof. Kazuhiko Kato, University of Tsukuba : Secure Software Execution Systems
    • (10) Leader Prof. Fumio Mizoguchi, Science University of Tokyo : Software Infrastructures for Enterprise Security
• Workshops
  • International Symposium on Software Security
    (Tokyo Tech, Nov.4 -- Nov.6, 2003)
  • International Symposiumu on Software Security
    (Keio Mita Campus, Nov.8 -- Nov.10, 2002)
  • 2nd International Workshop on Foundations for Secure/Survivable Systems and Networks
    Conference Hall in West 8(E) Building, Tokyo Institute of Technology
  • Open Symposium (Sep.21/22, 2001)
  • Annual Research Report Meeting, Program and Proceedings (Kanazawa Bunka Hall, February 26-27, 2001)
  • Workshop on Foundations for Secure/Survivable Systems and Networks (January 25-26, 2001)
• News Articles
  • Nikkei (Morning, August 22, 2001)
  • Nikkei (Evening, July 31, 2000)