| * | 2009 |
|---|
| 7 | EE | Emmanuel Geay,
Marco Pistoia,
Takaaki Tateishi,
Barbara G. Ryder,
Julian Dolby:
Modular string-sensitive permission analysis with demand-driven precision.
ICSE 2009: 177-187 |
| 2007 |
|---|
| 6 | EE | Mika Koganeyama,
Naoshi Tabuchi,
Takaaki Tateishi:
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.
APSEC 2007: 438-445 |
| 5 | EE | Takaaki Tateishi,
Naoshi Tabuchi:
Secure Behavior of Web Browsers to Prevent Information Leakages.
APSEC 2007: 65-72 |
| 4 | EE | Takaaki Tateishi,
Hisashi Miyashita,
Naoshi Tabuchi,
Shin Saito,
Kouichi Ono:
DHTML Accessibility Checking Based on Static JavaScript Analysis.
HCI (7) 2007: 167-176 |
| 3 | EE | Kouichi Ono,
Yuichi Nakamura,
Fumiko Satoh,
Takaaki Tateishi:
Verifying the Consistency of Security Policies by Abstracting into Security Types.
ICWS 2007: 497-504 |
| 2006 |
|---|
| 2 | EE | Takaaki Tateishi,
Hisashi Miyashita,
Kouichi Ono,
Shin Saito:
Automated Verification Tool for DHTML.
ASE 2006: 363-364 |
| 2001 |
|---|
| 1 | | Toshiaki Aoki,
Takaaki Tateishi,
Takuya Katayama:
An Axiomatic Formalization of UML Models.
pUML 2001: 13-28 |
