Modular string-sensitive permission analysis with demand-driven precision
- Emmanuel Geay
- Marco Pistoia
- et al.
- 2009
- ICSE 2009
Publications
Date
Featured collections
Popular topics
10 results for Takaaki Tateishi
Verifying the consistency of security policies by abstracting into security types
- Kouichi Ono
- Yuichi Nakamura
- et al.
- 2007
- ICWS 2007
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
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
Secure behavior of Web browsers to prevent information leakages
- Takaaki Tateishi
- Naoshi Tabuchi
- 2007
- APSEC 2007
Reducing unnecessary conservativeness in access rights analysis with string analysis
- Mika Koganeyama
- Naoshi Tabuchi
- et al.
- 2007
- APSEC 2007
Information-flow-based access control for web browsers
- Sachiko Yoshihama
- Takaaki Tateishi
- et al.
- 2009
- IEICE Transactions on Information and Systems
Automatic smart contract generation using controlled natural language and template
- Takaaki Tateishi
- S. Yoshihama
- et al.
- 2019
- IBM J. Res. Dev
Path-and index-sensitive string analysis based on monadic second-order logic
- Takaaki Tateishi
- Marco Pistoia
- et al.
- 2013
- ACM TOSEM