| Vol-2809 urn:nbn:de:0074-2809-5 Copyright © 2021 for the individual papers by the papers' authors. Copyright © 2021 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International (CC BY 4.0).

# WESPr-iMLSE-2018
Evidence-based Security and Privacy and Machine Learning Systems Engineering

### Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering
co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018)

### Nara, Japan, December 4, 2018.

Edited by

### Nobukazu Yoshioka *1
Hironori Washizaki *2
Eduardo B. Fernandez *3
Tomoko Kaneko *5
Shuichiro Yamamoto *6
Fuyuki Ishikawa *1
Foutse Khomh *6
Giuliano Antoniol *6

*1 National Institute of Informatics, Tokyo, Japan
*2 Waseda University, Tokyo, Japan
*3 Florida Atlantic University, Boca Raton, USA
*4 Information-technology Promotion Agency, Tokyo, Japan
*5 Nagoya University, Nagoya, Japan
*6 Polytechnique Montreal, Montreal, Canada

## Table of Contents

- Cover Page
- Report of WESPr-18: the International Workshop on Evidence-based Security and Privacy in the Wild 1-2
  Hironori Washizaki, Nobukazu Yoshioka, Eduardo B. Fernandez, Tomoko Kaneko, Shuichiro Yamamoto
- Report of iMLSE-18: the 1st International Workshop on Machine Learning Systems Engineering 3-4
  Fuyuki Ishikawa, Foutse Khomh, Nobukazu Yoshioka, Giuliano Antoniol

### Session A: Evidence-based Security and Privacy

- An Assurance Case Approach for Software Code Security 5-9
  Ryota Miyabayashi, Noritoshi Atsumi, Shuji Morisaki, Shuichiro Yamamoto
- An Assurance Case Approach for Software Code Security 10-17
  Tomoko Kaneko, Yuji Takahash, Takao Okubo, Ryoichi Sasaki
- Restructuring Attack Trees to Identify Incorrect or Missing Relationships between Nodes 18-25
  Hua Cai, Hironori Washizaki, Yoshiaki Fukazawa, Takao Okubo, Haruhiko Kaiya, Nobukazu Yoshioka
- Using a variety of patterns in a secure software development methodology 26-32
  Eduardo B. Fernandez, Nobukazu Yoshioka

### Session B: Invited Talk

- Towards Testing of Deep Learning Systems 33
  Jianjun Zhao

### Session C: Machine Learning Systems Engineering

- Simplified Influence Evaluation of Additional Training on Deep Neural Networks 34-39
  Naoto Sato, Hironobu Kuruma, Yuichiroh Nakagawa, Hideto Ogawa
- Guaranteeing Deep Neural Network Outputs in a Feasible Region (short paper) 40-42
  Hiroshi Maruyama

2021-02-02: submitted by Nobukazu Yoshioka, metadata incl. bibliographic data published under Creative Commons CC0
2021-02-13: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|