 | 2009 |
|---|
| 8 |       | Emmanuel Geay,
Marco Pistoia,
Takaaki Tateishi,
Barbara G. Ryder,
Julian Dolby:
Modular string-sensitive permission analysis with demand-driven precision.
ICSE 2009: 177-187 |
| 7 | | Sachiko Yoshihama,
Takaaki Tateishi,
Naoshi Tabuchi,
Tsutomu Matsumoto:
Information-Flow-Based Access Control for Web Browsers.
IEICE Transactions 92-D(5): 836-850 (2009) |
| 2007 |
|---|
| 6 | | Mika Koganeyama,
Naoshi Tabuchi,
Takaaki Tateishi:
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.
APSEC 2007: 438-445 |
| 5 | | Takaaki Tateishi,
Naoshi Tabuchi:
Secure Behavior of Web Browsers to Prevent Information Leakages.
APSEC 2007: 65-72 |
| 4 | | Takaaki Tateishi,
Hisashi Miyashita,
Naoshi Tabuchi,
Shin Saito,
Kouichi Ono:
DHTML Accessibility Checking Based on Static JavaScript Analysis.
HCI (7) 2007: 167-176 |
| 3 | | 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 | | 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 |
