Publications

10 results for Takaaki Tateishi

Automatic smart contract generation using controlled natural language and template
- - Takaaki Tateishi
  - S. Yoshihama
  - et al.
- 2019
- IBM J. Res. Dev
Formal requirement enforcement on smart contracts based on linear dynamic logic
- - N. Sato
  - Takaaki Tateishi
  - et al.
- 2018
- iThings/GreenCom/CPSCom/SmartData/Blockchain/CIT 2018
Path-and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2013
- ACM TOSEM
Static discovery and remediation of code-embedded resource dependencies
- - Nikolai Joukov
  - Vasily Tarasov
  - et al.
- 2011
- IM 2011
Path- and index-sensitive string analysis based on monadic second-order logic
- - Takaaki Tateishi
  - Marco Pistoia
  - et al.
- 2011
- ISSTA 2011
Modular string-sensitive permission analysis with demand-driven precision
- - Emmanuel Geay
  - Marco Pistoia
  - et al.
- 2009
- ICSE 2009
Information-flow-based access control for web browsers
- - Sachiko Yoshihama
  - Takaaki Tateishi
  - et al.
- 2009
- IEICE Transactions on Information and Systems
Reducing unnecessary conservativeness in access rights analysis with string analysis
- - Mika Koganeyama
  - Naoshi Tabuchi
  - et al.
- 2007
- APSEC 2007
Verifying the consistency of security policies by abstracting into security types
- - Kouichi Ono
  - Yuichi Nakamura
  - et al.
- 2007
- ICWS 2007
Secure behavior of Web browsers to prevent information leakages
- - Takaaki Tateishi
  - Naoshi Tabuchi
- 2007
- APSEC 2007