Special Interest Group on Automonous Mobile Objects

Meeting Schedule

[Default: @Rm.#214, from 15:00, Every Wednesday]

• 2001 9 26 15:00 (?) [?]
• 2001 9 19 15:00 [shioya]
• 2001 9 12 15:00 [masatomo] A Formal Framework for On-line Software Version Change (resume)
• 2001 7 25 15:00 [tabee] Static Enforcement of Security with Types (resume)
• 2001 7 18 15:00 [tatsuo] A Single Intermediate Language That Supports Multiple Implementations of Exceptions (resume)
• 2001 7 11 15:00 [hamanaka] Java Operating Systems (slide)
• 2001 7 4 15:00 [takas] Static Detection of Dynamic Memory Errors. David Evans (resume)
• 2001 6 27 15:00 [takas] canceled -> next week
• 2001 6 20 15:00 [tosh] Safe and Flexible Dynamic Linking of Native Code (resume)
• 2001 6 13 15:00 [shioya] Symbolic Bounds Analysis of Pointers, Array Indices, and Accessed Memory Regions.(resume)
• 2001 6 6 15:00 -
• 2001 5 30 15:00 [oiwa] Concept of "Type-safe C Compiler" and its related works (resume in PDF)
  • Purify: fast detection of memory leaks and access errors.
  • Saber-C an intepreter-based Programming environment for the C language.
  • Efficient detection of all pointer and array access errors.
  • Bound checking C compiler.
• 2001 5 23 10:30
  [gotoh] Modular Interprocedural Pointer Analysis Using Access Paths: Design, Implementation, and Evaluation (resume(ppt))
• 2001 5 16 15:00 -
  [tabee] A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities (resume)
  [tatsuo] Java Bytecode Modification and Applet Security. (resume)
• 2001 5 2 12:00 -
  [takas] Safety Checking of Machine Code. (resume)
  [shioya] Stack and Queue Integrity on Hostile Platforms. (resume)
• 2001 4 25 [tosh] Mobile Code Security Techniques. (resume)

Reading List

Members

• Akinori Yonezawa
• Tatsurou Sekiguchi
• Hidehiko Masuhara
• Masatomo Hashimoto
• Norifumi Gotoh
• Yutaka Oiwa
• Takahiro Sakamoto
• Toshiyuki Maeda
• Takuo Shioya