Vol-2808⫷ Vol-2809 ⫸Vol-2810
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 |