List of Dissertation Abstract （Information Media and Environment Sciences Information Media Course）
Name

Supervisor

Title

Abstract
In recent years, electronic in-car mirrors are paid attention to by automobile industry. It has a lot of

Study on installation
Yuya ABE

benefit in safety, but on the other hand it has some problems. This study aims to clarify visibility of

Katsunorirequirements about display on display on electronic rear-view mirrors and to improve depth feel of display on electronic side-view

OKAJIMA

electronic in-car mirror andmirrors by conducting experiments. As a result, the best installation condition and the formulation

improvement of depth feel.

about display on electronic rear-view mirrors and the best curve condition to improve depth feel about
display on electronic side-view mirrors were proposed.
The main purpose of the present study is to propose a new way of classifying Japanese verbs andespecially to investigate the aspectual properties of Japanese Stative Verbs. We propesed some tests toShunsuke Iida

Roger Martin

Aspectual Properties ofclarify Japanese Stative Verbs preciously according to the differences of English "V-ing" and JapaneseJapanese Stative Verbs-"V-teiru"-. We have come to the conclusion that Japanese stative verbs can be classified into twogroups: verbs expressing only states and verbs

expressing both states and processes leading up to thestates.

Yuichi Ikeda

Tatsunori Mori

Study on Automated Methods

We study automated methods to extract onomatopoeias from Japanese texts. First, we discuss a method

to Extract Onomatopoeia

to extract onomatopoeias of 3 moras or less, which is implemented as sequential labeling using

Words from Japanese Text byphoneme information, classes of onomatopoeia patterns, and sequential labeling. Second, in order to

Taking Accout of Derivation

extract derivatives of onomatopoeias, we take account of transformation rules of the derivation.

and Coined Words

Experimental results show the effectiveness of proposed methods.
In recent years, an interactive encryption and authentication have been proposed. The advantage ofthe interactive cryptography is possible to construct a scheme that meets strong security from weak
cryptographic primitives as compared with non - interactive setting. However, signcryption which

Junichi IDA

Junji SHIKATAInteractive Signcryption

effectively achieve both the function of public-key encryption and digital signature simultaneously has
been proposed yet. In this paper, we propose an interactive signcryption. First, we newly define amodel and security notions of interactive signcryption. Second, we propose four generic constructionsof interactive signcryption. Finally, we also give comparison our constructions from two points ofview.

Automatic Collection andTomohiro

Tatsunori

OMATA

MORI

Visualization of theExpressions that Represent
Changes of Situations in theSocietyTaira OYAMA

Daiki
KAWANUMA

Katsunari
YOSHIOKA

Tkashi TOMIIKITAJIMA

statistical information, we have to begin with discussion of how to interpret them. We, therefore, focus
on expressions on Web documents that authors interpret as expressions of changes in situations of oursociety. We propose a method to collect them automatically from the Web documents. We also discussvisualization methods to help users to understand the collected expressions easily.
Recently, targeted attacks which aim at a specific organization or individual have become great threats.

Decoy Document used for

However，the actual situation of targeted attacks is not fully understood, so we describe the study on

Targeted Email Attacks

grasping the actual situation of targeted attacks at intrusion stage and after invasion.

Implementation andWe have built a database to estimate electric vehicle energy consumption from driving logs. This study,

Evaluation of

examines a data analysis framework that aggregates numerous operation logs. Furthermore, we

Data Analysis Framework

implement mobile application program for information presentation. Finally, we evaluated whether theusing ECOLOG Databasefunction was satisfied.

capable of Investigation of
Takashi TOMII

various ways in which we may find changes of situation in our society. For some of them, such as

Analysis of Malware andConstruction of a Database
MasaruIn utilizing intellectual property, it is necessary to grasp the change in social situation. There are

Microgrid Introduction
Effects using Lifelog andShowing of Information

In recent years, more and more microgrids are being installed. However, in order to examine theintroduction effect of microgrid, it is necessary to use “logs about that place” and “logs at that time”.
In this research, I designed an integrated database which accumulated life logs such as commuting logs
by car and building electricity demand logs, and open data such as weather logs and social electricity
demand logs. Also, I constructed a system which allows you to consider the introduction effect of
microgrid which contained solar panels and EVs.
In recent years, with the advancement of computer performance and network development, electronic

HayatoTatsunori

KOBAYASHI

MORI

Visualization of Web

documents have been increasing, and there is a need for a technique that enables users to efficiently

documents relationships

access necessary information from a large volume of documents.Documents obtained by information

based on discovery of

retrieval, which is one of them, are varied in point of view and degree of detail.Based on the above

network structure considering

background, we propose organizing output for grasping contents efficiently by presenting a document

contents similarity

covering various perspectives and a detailed document group on the viewpoint in the document inassociation with each other.

In recent years, game-theoretic security of cryptographic protocols has been studied. Generally,
cryptographic security is defined so as to guarantee some basic concrete properties when participants
Cryptographic Protocols with
Shota GOTO

Junji SHIKATA

Universally Composable andGame-Theoretic Security

follow the designed algorithms, even if facing an adversarial behavior. In contrast, game-theoretic
security is defined such that, by considering behaviors of rational participants in a protocol whose goal
is to achieve their best satisfactions, following the specifications of the protocol honestly is the most
reasonable for the rational participants. In this thesis, we consider the following question: Does
composing protocols having game-theoretic security result in a secure protocol in the sense of gametheoretic security?
In this paper, an evolutionary image processing based image enlargement is proposed. Evolutionary

Midori SAITO

Tomoharu
NAGAO

Image Enlargement based on
Evolutionary Image
Processing

image processing is effective in various fields. In image enlargement process, a low-resolution image
is down information, so we can consider some candidates of high-resolution images from one lowresolution image. The proposed approach enables to generate a number of possible images by anevolutionary image processing, and to control image complexity by fractal dimension. We studied
optimization method and fitness function by the experiments generating enlarged images.
The study consists of two parts. IoT end devices have insufficient computational

JunichiTsutomu

SAKAMOTO

MATSUMOTO

Security Studies:resources to perform cryptographic functions. The first study show that some lightweight

Implementation ofblock ciphers are available on such the resource-restricted devices. The second study

Lightweight Block Cipher

propose that an attack that extracts memory data using a combination of laser andand Tamper Resistance forpower analysis. Implementation attacks including the proposed method become practical

IoT End Devices

attacks since IoT end devices are easily accessible by attackers. The study presents theimportance of tamper resistance for IoT end devices.
Radiation therapy is effective because it is a minimally invasive procedure. However, radiation

4DCT images estimation
Miho SAKITSU

Tomoharu

from 3DCT images using

NAGAO

Cartesian Genetic
Programming

exposure associated with acquisition of 4DCT images is more than that with acquisition of 3DCT;
therefore, 4DCT imaging may be a concern for patients. In this thesis, we propose a method that
estimates 4DCT images from 3DCT images using Cartesian Genetic Programming (CGP). During thetraining phase, features are extracted from 4DCT data, and the trajectories of the features in threedimensional space are approximated using CGP. For estimation of 4DCT images from 3DCT images,
trained CGP will be used to estimate trajectories of the extracted features.

Signcryption is a scheme achieving both functions of public-key encryptions and digital signatures,and important and fundamental protocol in cryptography. On the other hand, lattice-based
Shingo SATO

Junji SHIKATA

Lattice-based Signcryption

cryptographies are based on the lattice problems and resistant to attacks using quantum computers. In
this thesis, we propose lattice-based signcryption schemes. We show that our constructions are more
efficient than existing ones by comparing these constructions in terms of key-size and ciphertext-size.
We study interactive generation of Condition – Conclusion Map, which is supposed to be used for

Ryo SANO

Tatsunori
MORI

Recognition of Specific-

supporting a user’s judgement on the credibility of information on the Web.Given a statement on

General Relation among

which a user focused, this system shows conclusions that are derived from the statement, andCondition Expressions forconditions in which the statements holds, in order for a user to be able to make a decision, whether toInteractive Generation of

do the action represented by the statement, or not. In this thesis, we propose a method to identify

Condition-Conclusion Map

general-specific relationship among statements to organize the statements in the Condition-Conclusion
Map.
In similar drawings retrieval domain, Text-Based Image Retrieval using keywords
previously given to drawings is generally performed. Although it is possible to narrow

SatoshiTomoharu

SHIMIZU

NAGAO

Similar Drawing Retrieval
Considering Relationshipamong Partial Regions

down candidates to a certain degree by the Text-Based Image Retrieval, the contents ofdrawings is very useful for further narrowing down. This thesis proposes a more efficient
Content-Based Image Retrieval method to retrieve similar patent drawings considering
relationship among partial regions using query images described by multiple figures. We
consider relationship among partial regions of patent drawings and aim to achieve
proposed method with high versatile.
The fully homomorphic encryption is one of the cryptographies which gives processing function to

MasatoSHIRASAWA

Junji SHIKATA

A stufy on unconditionallyspecific encrypted data. We can operate ciphertexts without decrypting them. In this thesis, we propose

secure homomorphic

a new security definition of perfect secrecy regarding fully homomorphic encryption based on

encryption

unconditional security, and show the validity of this definition. We also propose a specific constructionof fully homomorphic encryption scheme and show that this construction satisfies our definition.

Automatic music composition has been researched for composing emotional and various songs. In thispaper, we propose a music composition system considering musical forms of songs. In our method,
Kento

Tomoharu

TOMATSUNAGAO

Evolutionary Music

songs which have musical forms of typical pops are composed by Genetic Algorithm. In order toComposition Considering

compose songs considering forms, we introduce fitness functions that evaluate individuals not onlyMusical Forms of Songs

from the viewpoint of music theory, but also from the viewpoint of part likeness and connection
between parts. In addition, we aim to acquire the music that the user wants with less burden by adding
modifications while incorporating the user's evaluation on the generated songs.

Risa
NAKAGAWARA

Junji SHIKATA

On the Key Dependent

Cryptosystems are technologies to do secure communication on information networks,and three FO

Message Security of Generalconversions are proposed to achieve strong security.Recentry,KDM security is recognized as aConstruction of Hybrid

important security,and it's shown that one FO conversion do not have KDM security and another has

Encryption

KDM security.So, we show the other one has KDM security.
Recently, vehicles have been adopted information technology and automatic driving technology
receives a lot of attention. On the other hand, the possibility increases that vehicles become the targets

Yoshifumi

TsutomuElectrical Security of In-

NAKAYAMA

MATSUMOTO

Vehicular Networkof cyber-attack, because they are electronically controlled and connected to the Internet. Therefore,
automotive security is needed. In particular, CAN (Controller Area Network) is widely used for the invehicle network. This paper points out the threat of Electrical Data Forgery, which focuses onelectrical signals of CAN, and discuss the countermeasures against this attack with proposing original
method.

Understanding DRDoS
Tomomi

Katsunari

Attacks: An Improved

NISHIZOEYOSHIOKA

Observation Method andVictim Analysis

DRDoS attacks have become a serious threat on the internet since 2013. It is important to understandreal-world DRDoS attacks in order to confront them. In this study, we improve DRDoS honeypot
which allows third parties to observe DRDoS attacks and analyze victims of DRDoS attacks. First, we
propose a protocol-agnostic DRDoS honeypot. Next, we investigate special DRDoS attacks whichbypass CDNs and target original web servers directly.

Due to the growing demand for social power reduction, office and other business departments do not
Evaluation of Usefulness of
MasatoNISHIYAMA

Electric Energy Distribution
Takashi TOMII

Based on Context
Segmentation of Energy
Lifelog

impair work productivity, and there is a demand for reduced electricity usage according to thesituation. On the other hand, with the development of sensor technology in recent years, the life log on
power use can be acquired. So we saved the above logs in the DB and built a system to visualize thepower consumption by searching and consolidating power with the situation as the key. In this paper,
we propose an electric energy distribution that can intuitively grasp how to use electric power
according to the situation by using the above system, and demonstrate its usefulness by quantitatively
deriving the effect as the reduced electric energy.

Koya HARADA

Katsunari
YOSHIOKA

Detecting Malicious Domains
Using Integrated Malware
Analysis Service

In recent years, malware carrying out malicious activities that use DNS communication is increasing.
Measures such as made to the blacklist are being done but Due to the increase of malware, it is
becoming difficult to update quickly. In this paper,We proposed a method to detect malicious domains
early and extract them automatically using integrated malware analysis service.
Characters are represented by various words in novel text. In our research, coreference resolution of
the characters in novel text is studied. We propose a model which can deal with same referent ofDaiki

NaoyoshiCoreference Resolution ofdifferent surficial representations. We propose coreference resolution that consists of three methods,

HIRAKAWA

TAMURAThe Characters in Novel Text

i.e., surficial representation resolution, anaphora resolution and coreference resolution of speaker ofuttrance. Considering difference between descritive passage and uttrance,we redefined exophora that
related the speaker of the uttrance. By experiments, our method is shown more precise.

Satoshi Hojo

Crossmodal Effects of

We conducted psychophysical experiments to investigate how visual information effects flavor and

Katsunori

Modified Dynamic Visual

impression of beverage. We developed an image processing system adds virtual steam and visual

Okajima

Information

thickening based on the information of the AR marker. By presenting the image processed in real timeon Beverage Perception

to the subject with HMD, participants felt that the impression and the flavor changed.

We propose a method of performance expression based on just intonation which is a kind of musicaltemperament. Just intonation has a feature that the frequency ratio is positive integral ratio. Thus just

Tatsunori Honda

Toshiyuki
GOTOH

A method of Acoustic Output
Based on Just Intonation
For Virtual Orchestra

intonation is harmonized. We have studied a method of acoustic output that melody in equal
temperament and accompaniment in just intonation corresponding to hearing ability of modern people.
In addition, the difference between the note value of the melody in the song and the note value of theaccompaniment uses a vibrato corresponding to where the beat occurs. A prototype system with theabove requirements was prepared, subjective evaluation experiments and system evaluation werecarried out
Recently, Malware, highly functional and malicious software has close connection to many security

Atsushi

Katsunari

YAHATAYOSHIOKA

SandVeil: A Tool for
Improving Sandbox
Resilience to Evasion

incident and people need a measure against them. For anti-malware measure, we use sandbox tomalware dynamic analysis or detection, but attackers equip a function for evading or obstructing
analysis malware. In this study, we suggest a tool, SandVeil, a tool for improving sandbox resilience toevasion by making sandbox environment similar to user machines’ one and changing sandbox inherent
features.

A Study on Detection of

In this thesis, we introduce SandPrint, a tool that measure characteristics of sandboxes. We collected

Akira

Katsunari

Security Inspection System

information from real operation sandboxes using SandPrint to find out the characteristics of sandboxes

YOKOYAMAYOSHIOKA

Based on Inherent Feature ofand verify the possibility of sandbox evasion. We found these sandbox-inherent feature are quite

Analysis Environment

effective for sandbox evasion.
Searchable symmetric encryption (SSE) enables a user to encrypt data so that the data can be searchedwithout leaking any information on the data. SSE has been studied since the 2000s. However, all

Takahiro
YOSHIZAWA

Junji SHIKATA

Unconditionally Secure
Searchable Encryption

existing searchable encryption schemes are computationally secure. Therefore we propose
unconditionally secure SSE for the first time in the world. Our SSE scheme is secure against any
computationally-unbounded adversary. In particular, we formalize a model and three security notion of
SSE and propose constructions which satisfy security definition and derive a lower bound on thesecret-key size.

Ryosuke

Katsunori

Yoshizumi

Okajima

Study on Effects of Spectral

Light is a critical factor to derive visual information of objects precisely. In the present study,

Distribution and ipRGC

observers subjectively evaluated freshness and glossiness of objects which was illuminated by a

response on Material

light with one of various spectral distributions generated with a multispectral light-source. As a result,

Perception using a Multi-

freshness and glossiness depend on the spectral distribution of light of which the chromaticity

Spectral Light Sourceis identical. The results of data analysis indicate that ipRGC outputs contribute to material perception.
Multi-agent simulation is widely used for analysis of the various phenomenon of the real world.
Prediction of cargo ships’ behavior is useful for Shipping company’s decision making. In this paper,

Shota

Tomoharu

Destination Prediction for

we construct behavior models of large cargo ships using probabilistic models. The models are

YOSHIDA

NAGAO

Large Cargo Ships

constructed with actual voyage data and shipping market data for large cargo ships. We evaluatedproposed models by predicting destination of actual cargo ships. By analyzing the experimental results,
we considered what information is useful for destination prediction for large cargo ships.
In recent years, Embedded devices used security features are implemented in software. Security

Naoki Watanabe

Dynamic Call Method:features itself need have also be resistance to attacks. In this research I two make proposals. First

Tsutomu

Tamper Resistant Software

proposals, I propose method to do self integrity verification with easy restriction which use tamper-

MatsumotoUsing Dynamic Instruction

resistant-software's parameter stored in hash-table. Second proposals, I propse method to expand theCall Programming

range of system that can be tamper-resistant by dynamic instruction call method. In this paper, It
describe proposed method's overview, Implementation procedure and evaluation.
In recent years, researches on emotion estimation to estimate human emotions have been actively
conducted.
In this research, we focused on puzzled emotions and aimed at estimating puzzled state from a puzzled

Katsutaka

Tomoharu

Emotion Measurement using

expression that appears naturally.

WADA

NAGAO

a Depth Camera

Based on the opinions of brain scientists, natural puzzle expression evoked experiments wereconducted and data on natural puzzle expression was collected from subjects.
We also performed classification experiments on puzzled facial expressions on collected data using
SVM and estimated puzzle states by combining SVM and emotional transition models.

In this paper, we propose a construction method of stock trading strategy using deep reinforcement
learning.With deep reinforcement learning, it is possible to learn behavior rules that maximize future
Yuki MIKI

Tomoharu
NAGAO

Construction of stock trading
strategy by Deep
Reinforcement Learning

rewards from past experiences without teacher even if the input is high-dimensional. In this method,
we learn a trading strategy that maximizes profit ratio from time series data such as stock price.
Furthermore, we construct a trading strategy including optimization of the number of traded sharesrather than a simple trading strategy that does not take into consideration the number of trading sharesas in the conventional method.
Super resolution technology is required for medical images in order to obtain accurate and highresolution images which are easily affected by environmental condition. In this paper, based on

Xinxin XU

Tomoharu
NAGAO

CT Image Super-Resolution

Cellular Evolutionary Neural Networks we propose constructing a super resolution processing system

Using Cellular Evolutionarythat carries out a series of processing including preprocessing of CT images. We reconstructed low

Neural Networks

resolution images to high resolution images both on the xy-Plane and z-Axis direction. Compared to
the results obtained by interpolation based, reconstruction based, and learning based methods, ourmethod gave good results and showed the effectiveness in medical images.