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 1^st International Workshop on Machine Learning Systems Engineering
co-located with 25^th 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 1^st 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|