Nec Corporation

Asahi Glass Company, Limited

Konica Corporation

Konica Minolta Medical and Graphic, Inc.

Kabushiki Kaisha Toshiba

Anaeropharma Science, Inc.

Ricoh Company, Ltd.

Renesas Electronics Corporation

Nhk Spring Co., Ltd.

Agc Inc.

Nec C Orporation

Takayuki Sasaki

Kentaro Sonoda

Yoichi Hatano

Hideyuki Shimonishi

Masayuki Nakae

Takashi Ito

Yoichiro Morita

Nao Mishima

Masaya Yamagata

Adrian Perrig

Yasuo Kurachi

Eiichi Ueda

Takeshi Habu

Naozumi Morino

Chitoshi Suzuki

Yoshinori Toyota

Yusuke Shimada

Akio Horie

Daniele Enrico Asoni

Tatsuo Kozakaya

Tadashi Arimoto

Jun Yamaguchi

Yuuji Kimura

Yuko Shimatani-Shibata

Naohiro Kumagai

Daisuke Kaku

Mitsunobu Morita

Akihisa Nakajima

Atsushi Hiraiwa

Motoshige Igarashi

Masao Sugiyama

Akihisa Moriya

Takehito Yamaguchi

Tomoya Tsuruyama

Toshiki Kobayashi

Hiroshi Yanagita

Takeo Ohno

Toshiaki Ito

Shun'ichiro Taniguchi

Minoru Fujimori

Kazutoshi Oku

Shinichi Watarai

Katsuji Kuribayashi

Hitomi Shimizu-Matsuhashi

Ghassan Karame

Hiroshi Wada

Hiroaki Aminaka

Tomohiro Hayashi

Kunio Hayakawa

Yusuke Morita

Toshihisa Takeyama

Claudio Soriente

Felix Klaedtke

Srdjan Capkun

Hitoshi Shimbo

Kenji Ohnuma

Takeaki Arai

Yusuke Moriuchi

Yasuto Igarashi

Hidetoshi Ezure

Jun Amano

Hitoshi Adachi

Yutaka Kuga

Etsuko Akagi

Ryo Hamamoto

Hiromi Yonekura

Yasunobu Kano

Jason Lee

Hideaki Tanaka

Yasuhiro Mizukoshi

Masako Kashiwagi

Kosei Kobayashi

Toshiyuki Nakamura

Yuki Ashino

Kiyokazu Morita

Yasuhiko Takamuki

Toshio Koide

Kazuki Ogata

Hiroaki Matsui

Kei Yanagisawa

Keiichi Shiokawa

Kazuhiro Kido

Takeo Hayashi

Ryuichi Ogawa

Yuji Hosoi

Shigeru Ikai

Hiromitsu Takeyasu

Shigeru Miyajima

Toshiki Watanabe

Hitomi Shimizu

Yuko Shimatani

Kayoko Sugiyama

Katsunori Hiroishi

Tetsuro Hasegawa

Kunio Asobe

Yasuyuki Sasao

Yoshiaki Yamada

Yoshinori Hamaji

Hideo Sakurai

An information provision server includes: an determination part for determining, based on primary information acquired from an individual one of a plurality of sensors, each of which senses a predetermined range of a road, whether or not to provide secondary information created by using the primary information acquired from the plurality of sensors to a first mobile object running on the road; an information creation part for creating, if the determination part determines to provide the secondary information to the first mobile object, the secondary information by using the primary information acquired from the plurality of sensors; and a transmission part for transmitting the secondary information to the first mobile object.

Information provision server, information provision method, and recording medium storing program

The present disclosure aims to provide a backdoor inspection device, a user device, a system, a method, and a non-transitory computer-readable medium that can increase trustability of software as to whether or not there is a backdoor in the software. A system according to the present disclosure includes: a plurality of backdoor inspection devices; a plurality of databases; and a user device, in which the backdoor inspection device includes: a backdoor presuming means for performing backdoor inspection on a prescribed software installed in a counterpart device that communicates with the user device and presumes whether or not there is a backdoor in the prescribed software; a certificate issuance means for issuing a backdoor inspection certificate including a result of the backdoor inspection, the database includes: a registration means for registering the backdoor inspection certificate; and a transmission means for transmitting the backdoor inspection certificate.

System, method, and non-transitory computer-readable medium

A program analysis device including: code block extraction means for extracting code blocks having specific qualities from code blocks included in binary data of a program; backdoor score calculation means for calculating, for each code block extracted by the code block extraction means, based on the contents of operations in each code block, a backdoor score, which is a score indicating the possibility of each code block being a backdoor code or a score indicating the degree of impact of each code block on a system when it is executed; and output means for outputting the code blocks extracted by the code block extraction means and the backdoor score calculated for each of the extracted code blocks by the backdoor score calculation means.

Program analysis device, program analysis method, and computer-readable medium

The present disclosure aims to provide a backdoor inspection device, a user device, a system, a method, and a non-transitory computer-readable medium that enable a third party to easily verify whether software contains a backdoor. A backdoor inspection device according to the present disclosure includes: a backdoor presuming means for analyzing a function and a structure of the software, performing backdoor inspection on the software, and identifying a presumed code that is presumed to be the backdoor from the software; and a certificate issuance means for issuing a certificate that includes information about the backdoor inspection and information that associates the information about the backdoor inspection with the software.

Backdoor inspection device, user device, system, method, and non-transitory computer-readable medium

In a backdoor inspection apparatus, a static analysis unit executes static analysis processing for a backdoor on each code block included in target software to be inspected to thereby specify a first code block and a condition, the first code possibly being the backdoor and the first code block being executed under the condition. Next, the static analysis unit outputs the target software to which first information indicating the specified first code block is added and second information indicating the specified condition to a dynamic analysis unit. The dynamic analysis unit controls dynamic analysis processing for the backdoor performed on the target software to which the first information is added based on the first information and the second information.

Backdoor inspection apparatus, backdoor inspection method, and non-transitory computer readable medium

A feature estimating device includes a parser identifying means for identifying a parser, the parser being contained in software, for parsing user input and executing a relevant command, a dividing means for extracting commands form a character string in the parser and clustering control flows connecting with the extracted commands as starting points to divide a code of the software for each feature, and a feature estimating means for estimating, based on a characteristic part of each divided code, a feature for each divided code.

Estimation of features corresponding to extracted commands used to divide code of software

A semiconductor device () includes: a determination unit () configured to determine whether an avoidance condition of inspection of control flow integrity is satisfied (e.g., a degree of similarity with a previous input value is in a predetermined range) based on determination auxiliary information, which is at least an input value in a target code block to be executed among a plurality of code blocks in a predetermined program, and an inspection unit () configured to avoid inspection of control flow integrity in the target code block when it is determined that the avoidance condition is satisfied.

Semiconductor device, control flow inspection method, non-transitory computer readable medium, and electronic device

A semiconductor device () includes: first storage means () storing, in advance, a plurality of pieces of execution order inspection information () used for inspection of an execution order of a plurality of code blocks in a predetermined program, second storage means (), which is a cache for the first storage means, and prediction means () for predicting a storage area of the execution order inspection information based on prediction auxiliary information in a first code block of the plurality of code blocks and a control flow graph of the program, the storage area being a prefetch target to be prefetched from the first storage means to the second storage means.

According to an example embodiment, a firmware rewriting apparatus includes: call position specifying means for specifying, among instructions described in a program of firmware stored in a memory, the instructions for changing a control flow; free area specifying means for specifying a free area in a storage area of the memory in which the program is not stored; and program rewriting means for rewriting the instruction specified by the call position specifying means into a call instruction of a frequency adjustment code and writing the frequency adjustment code for calling an inspection code at a frequency corresponding to a frequency of calling the frequency adjustment code and the inspection code for performing a security check of the program in response to a call from the frequency adjustment code into the free area specified by the free area specifying means.

Firmware rewriting apparatus, firmware rewriting method, and non-transitory computer readable medium storing program

An attestation systemincludes a trustworthiness calculation unitand an attestation unit. The trustworthiness calculation unitcalculates trustworthiness determined based on a state of a component, a method of attestation, or a result of attestation, for the component. The attestation unitperforms attestation of the component based on the trustworthiness.

Attestation system, attestation method, and attestation program

To provide a polyether polyol having a high degree of freedom in the design of a polyurethane foam, and capable of providing a polyol system solution excellent in storage stability. A polyether polyol having a polyoxyalkylene chain consisting of oxyalkylene units, and having a degree of unsaturation of at most 0.020 meq/g, a hydroxy value of from 1 to 80 mgKOH/g, a content of oxyethylene units of from 0 to 50 mass %, and a content of ultra-high molecular weight components which have molecular weights of from 12 to 46 times the number average molecular weight of at most 1,000 mass ppm. The number average molecular weight is a molecular weight as calculated as polystyrene measured by gel permeation chromatography (GPC) method, and the content of ultra-high molecular weight components is a value measured by high performance liquid chromatography (HPLC) method using a charged aerosol detector (CAD).

Polyether polyol and polyol system liquid

A data tracking unitincludes a distribution history storage unitthat stores a distribution history of data, a tracking tag adding unitthat adds a tracking tag used to identify tracking data, a first transmission unitthat transmits data to which the tracking tag is added to the component, and a distribution history registration unitthat registers a distribution history of the data to which the tracking tag is added, in the distribution history storage unit. The componentincludes a second transmission unitthat transmits data to which the same tracking tag as a tracking tag added to the received data is added to another componentor the data tracking unit. The history registration unitregisters a result of tracking of data associated with the same tracking tag, as a distribution history of the data, in the distribution history storage unit

Distribution history management system, distribution history management device, method, and program

A communication apparatus comprises a rollback control unit to create a second process to roll back a currently working first process thereto; a storage to store states shared by the first and the second processes, the second process taking over a state(s) stored in the storage unit; a buffer; and a timing control unit that controls of timing of rollback. The rollback control unit starts event buffering to store in the buffer all of an event(s) received during when the first process is processing and destined to the first process, and upon completion of the processing of the event by the first process, the rollback control unit performs switching of a working process from the first process to the second process, sends the event(s) stored therein from start of the event buffering to the second process and stop event buffering.

Communication apparatus, system, rollback method, and non-transitory medium

According to one embodiment, an electronic device includes one or more processors. The one or more processors obtain an image captured by a camera with a filter having a first area transmitting light of a first wavelength range and a second area transmitting light of a second wavelength range. The image includes a first color-component image based on the light of the first wavelength range and a second color-component image based on the light of the second wavelength range. The one or more processors notify a user of an effective area for calculation of depth information based on a bias of color information in the first color-component image and the second color-component image.

Electronic device and notification method

A program verification system of the invention includes program verification meansfor verifying whether a verification target program input as a program operating in a secure environment does not include a program execution function which is a function of executing a new program in the same environment by a command in the corresponding program and/or whether the verification target program or a protection mechanism of the secure environment as an operation source of the verification target program includes an external input attack defense function which is a function of defending against an attack caused by an external data input during execution of the program; and signature meansfor giving a signature to the program based on a result of the verification by the program verification means

Program verification system, method, and program

Growing community of inventors

Tokyo, Japan

Takayuki Sasaki