Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2015-03-06 10:25 |
Ishikawa |
IT Business Plaza Musashi |
Development of SMT-based model checker for assembly cords using interrupts reduction technique Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane, Kohei Sakurai (Kanazawa Univ.) MSS2014-100 |
Recently, embedded software has properties dependent on hardware (direct operation of address spaces, memory mapped I/O,... [more] |
MSS2014-100 pp.53-58 |
SS, MSS |
2014-01-31 09:55 |
Aichi |
|
Bounded model checking based in SMT for CISC embedded assembly programs Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) MSS2013-62 SS2013-59 |
In this paper,we describe the method of verification by bounded model checking based in SMT using Code Block for embedde... [more] |
MSS2013-62 SS2013-59 pp.65-70 |
KBSE |
2012-11-22 11:25 |
Ishikawa |
Kanazawa University |
SMT-based Bounded Model Checking for Assembly program Junpei Kobashi, Atsushi Takeshita, Satoshi Yamane (Kanazawa Univ.) KBSE2012-41 |
In this paper, we state property verification by Bounded Model Checking using SMT solver for register level model of ass... [more] |
KBSE2012-41 pp.19-24 |
VLD, CAS, MSS, SIP |
2012-07-02 13:00 |
Kyoto |
Kyoto Research Park |
Verification of embedded software in Assembly code by SMT prover Atsushi Takeshita, Junpei Kobashi, Satoshi Yamane (Kanazawa Univ.) CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 |
We propose the technique of Bounded Model Checking(BMC) for embedded assembly program. We use SMT solver for BMC. We als... [more] |
CAS2012-7 VLD2012-17 SIP2012-39 MSS2012-7 pp.37-42 |
MoNA, IPSJ-MBL |
2008-05-22 10:25 |
Okinawa |
Okinawa-seinen-kaikan |
A Study for Wireless LAN Device Power-saving by UPnP/DLNA Packet Filtering Methods Motoharu Miyake, Atsushi Takeshita (NTT DoCoMo) |
Although increasing the number of devices in a home network enables various services, the devices generate a lot of mult... [more] |
MoMuC2008-5 pp.27-32 |
DC, CPSY, IPSJ-SLDM, IPSJ-EMB |
2008-03-28 17:20 |
Kagoshima |
|
Inter-OS Communication Mechanism for Multi-OS Mobile Handset using Suspend/Resume Function Hisatoshi Eguchi, Tomohiro Nakagawa, Ken Ohta, Atsushi Takeshita (NTT DoCoMo, Inc.) DC2007-120 CPSY2007-116 |
Cellular equipment gets high-performance, and smartphone gets attention in customizations to add-on native code applicat... [more] |
DC2007-120 CPSY2007-116 pp.215-220 |
MoNA, IN (Joint) |
2007-11-15 16:30 |
Fukuoka |
Fukuoka Institute of Technology |
[Invited Talk]
Invited Talk Motoharu Miyake, Takashi Yoshikawa, Masaharu Nakatsuchi, Atsushi Takeshita (NTT DoCoMo) IN2007-93 MoMuC2007-56 |
Specifications for sharing digital content (images, music and video) using consumer electronics, personal computers and ... [more] |
IN2007-93 MoMuC2007-56 pp.25-30(IN), pp.1-6(MoMuC) |
MoNA, IPSJ-MBL |
2007-05-17 08:35 |
Okinawa |
Okinawa-seinen-kaikan |
Evaluation of Web Form Filling in Mobile Handset Takeshi Kamiyama, Takashi Suzuki, Chie Noda, Atsushi Takeshita (NTTDoCoMo) |
Recently, it’s usual to fill User Profile data in the Web form for the purpose of shopping and the like on the Web. Alth... [more] |
MoMuC2007-1 pp.1-6 |
MoNA, IPSJ-MBL |
2007-05-17 12:45 |
Okinawa |
Okinawa-seinen-kaikan |
[Invited Talk]
Trend and Overview of OMA(Open Mobile Alliance) Atsushi Takeshita (NTT DoCoMo) |
OMA (Open Mobile Alliance) is a international organization developing open and interoperable specifications. First, this... [more] |
MoMuC2007-8 p.37 |
ISEC, SITE, IPSJ-CSEC |
2006-07-20 14:15 |
Okayama |
Okayama Univ. |
Performance Improvement of Anomaly Detection System by Simplifying Call Stack Inspection Katsuhiro Suzuki (Univ. of Tsukuba), Hirotake Abe (JST), Kazuhiko Kato (Univ. of Tsukuba), Akira Kinno, Yuka Ikebe, Takehiro Nakayama, Atsushi Takeshita (NTT DoCoMo) |
Recently, the computer is exposed to various attacks from the outside and the inside of the system. We are studying to t... [more] |
ISEC2006-34 SITE2006-31 pp.183-190 |
ISEC, IPSJ-CSEC, SITE |
2005-07-21 17:00 |
Iwate |
Iwate Prefectural University |
Implementation and Evaluation of Memory Protection Methods for Multitask OSes
-- CMS for Resource-poor Platforms and Tampering Detection -- Yu Inamura, Toru Egashira, Atsushi Takeshita (NTT DoCoMo) |
The authors have been proposing a method, called Cryptographic Memory System (CMS), to protect the data stored in the ad... [more] |
ISEC2005-40 SITE2005-38 pp.229-234 |
ISEC, IPSJ-CSEC |
2004-07-21 10:45 |
Tokushima |
Tokushima Univ. |
Protecting Memories in Multitask OSes -- A Cryptographic Memory System for Resource-poor Platforms Yu Inamura, Toru Egashira, Atsushi Takeshita (NTT DoCoMo) |
The authors have proposed a method, called Cryptographic Memory System (CMS), to protect the data stored in the address ... [more] |
ISEC2004-44 pp.21-26 |
ISEC, IPSJ-CSEC |
2004-07-21 11:10 |
Tokushima |
Tokushima Univ. |
Protecting Memories in Multitask OSes
-- Tampering Detection -- Toru Egashira, Yu Inamura, Atsushi Takeshita (NTT DoCoMo) |
This paper provides the design of an integrity check function, which detects in-process data tampering done by the other... [more] |
ISEC2004-45 pp.27-34 |