<!DOCTYPE html>
<!-- CEURVERSION=2020-07-09 -->
<html lang="en">
<head>
<meta http-equiv="Content-type" content="text/html;charset=utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-2809 - The International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering 2018</title>
</head>
<!--CEURLANG=eng -->
<body>

<table style="border: 0; border-spacing: 0; border-collapse: collapse; width: 95%">
<tbody><tr>
<td style="text-align: left; vertical-align: middle">
<a href="http://ceur-ws.org/"><div id="CEURWSLOGO"></div></a>
</td>
<td style="text-align: right; vertical-align: middle">
<div style="float:left" id="CEURCCBY"></div>
<span class="CEURVOLNR">Vol-2809</span> <br>
<span class="CEURURN">urn:nbn:de:0074-2809-5</span>
<p class="unobtrusive copyright" style="text-align: justify">Copyright &copy; 2021 for 
the individual papers by the papers' authors. 
Copyright &copy; <span class="CEURPUBYEAR">2021</span> 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
<A HREF="https://creativecommons.org/licenses/by/4.0/">(<span class="CEURLIC">CC BY 4.0</span>)</A>.</p>
</td>
</tr>
</tbody></table>

<hr>

<br><br><br>

<h1><a href="http://www.washi.cs.waseda.ac.jp/wespr-18/"><span class="CEURVOLACRONYM">WESPr-iMLSE-2018</span></a><br>
<span class="CEURVOLTITLE">Evidence-based Security and Privacy and Machine Learning Systems Engineering</span></h1>
<br>

<h3>
<span class="CEURFULLTITLE">Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1<sup>st</sup> International Workshop on Machine Learning Systems Engineering</span><br>
co-located with 25<sup>th</sup> Asia-Pacific Software Engineering Conference (<span class="CEURCOLOCATED">APSEC 2018</span>)<br>
</h3>
<h3><span class="CEURLOCTIME">Nara, Japan, December 4, 2018</span>.</h3> 
<br>
<b> Edited by </b>
<p>

</p><h3>
   <span class="CEURVOLEDITOR">Nobukazu Yoshioka</span> *1<br>
   <span class="CEURVOLEDITOR">Hironori Washizaki</span> *2<br>
   <span class="CEURVOLEDITOR">Eduardo B. Fernandez</span> *3<br>
   <span class="CEURVOLEDITOR">Tomoko Kaneko</span> *5<br>
   <span class="CEURVOLEDITOR">Shuichiro Yamamoto</span> *6<br>
   <span class="CEURVOLEDITOR">Fuyuki Ishikawa</span> *1<br>
   <span class="CEURVOLEDITOR">Foutse Khomh</span> *6<br>
   <span class="CEURVOLEDITOR">Giuliano Antoniol</span> *6<br>
</h3>

*1 <a href="https://www.nii.ac.jp/en/">National Institute of Informatics</a>,
  Tokyo, Japan<br>
*2 <a href="https://www.waseda.jp/top/en/">Waseda University</a>,
  Tokyo, Japan<br>
*3 <a href="https://www.fau.edu/">Florida Atlantic University</a>,
  Boca Raton, USA<br>
*4 <a href="https://www.ipa.go.jp/index-e.html">Information-technology Promotion Agency</a>,
  Tokyo, Japan<br>
*5 <a href="https://www.ipa.go.jp/index-e.html">Nagoya University</a>,
  Nagoya, Japan<br>
*6 <a href="https://www.polymtl.ca/">Polytechnique Montreal</a>,
   Montreal, Canada<br>
  <br>
<hr>

<br><br><br>


<div class="CEURTOC">
<h2> Table of Contents </h2>


<ul>

<li id="WESPr-iMLSE-cover"><a href="WESPr-iMLSE-cover.pdf">Cover Page</a>
</li>

<li id="WESPr-18_00-report"><a href="WESPr-18_00-report.pdf">
<span class="AUXTITLE">Report of WESPr-18: the International Workshop on Evidence-based Security and Privacy in the Wild</span></a>
<span class="AUXPAGES"> 1-2</span> <br>
<span class="AUXAUTHOR">Hironori Washizaki</span>,
<span class="AUXAUTHOR">Nobukazu Yoshioka</span>,
<span class="AUXAUTHOR">Eduardo B. Fernandez</span>,
<span class="AUXAUTHOR">Tomoko Kaneko</span>,
<span class="AUXAUTHOR">Shuichiro Yamamoto</span>
</li>

<li id="iMLSE-18_00-report"><a href="iMLSE-18_00-report.pdf">
<span class="AUXTITLE">Report of iMLSE-18: the 1<sup>st</sup> International Workshop on Machine Learning Systems Engineering</span></a>
<span class="AUXPAGES"> 3-4</span> <br>
<span class="AUXAUTHOR">Fuyuki Ishikawa</span>,
<span class="AUXAUTHOR">Foutse Khomh</span>,
<span class="AUXAUTHOR">Nobukazu Yoshioka</span>,
<span class="AUXAUTHOR">Giuliano Antoniol</span>
</li>

</ul>

<h3><span class="CEURSESSION">Session A: Evidence-based Security and Privacy</span></h3>
<ul>

<li id="WESPr-18_01"><a href="WESPr-18_01.pdf">
<span class="CEURTITLE">An Assurance Case Approach for Software Code Security</span></a>
<span class="CEURPAGES">5-9</span> <br>
<span class="CEURAUTHOR">Ryota Miyabayashi</span>, 
<span class="CEURAUTHOR">Noritoshi Atsumi</span>, 
<span class="CEURAUTHOR">Shuji Morisaki</span>, 
<span class="CEURAUTHOR">Shuichiro Yamamoto</span>
</li>

<li id="WESPr-18_02"><a href="WESPr-18_02.pdf">
<span class="CEURTITLE">An Assurance Case Approach for Software Code Security</span></a>
<span class="CEURPAGES">10-17</span> <br>
<span class="CEURAUTHOR">Tomoko Kaneko</span>, 
<span class="CEURAUTHOR">Yuji Takahash</span>, 
<span class="CEURAUTHOR">Takao Okubo</span>, 
<span class="CEURAUTHOR">Ryoichi Sasaki</span>
</li>

<li id="WESPr-18_03"><a href="WESPr-18_03.pdf">
<span class="CEURTITLE">Restructuring Attack Trees to Identify Incorrect or
Missing Relationships between Nodes</span></a>
<span class="CEURPAGES">18-25</span> <br>
<span class="CEURAUTHOR">Hua Cai</span>, 
<span class="CEURAUTHOR">Hironori Washizaki</span>, 
<span class="CEURAUTHOR">Yoshiaki Fukazawa</span>, 
<span class="CEURAUTHOR">Takao Okubo</span>, 
<span class="CEURAUTHOR">Haruhiko Kaiya</span>,
<span class="CEURAUTHOR">Nobukazu Yoshioka</span>
</li>

<li id="WESPr-18_04"><a href="WESPr-18_04.pdf">
<span class="CEURTITLE">Using a variety of patterns in a secure software
development methodology</span></a>
<span class="CEURPAGES">26-32</span> <br>
<span class="CEURAUTHOR">Eduardo B. Fernandez</span>, 
<span class="CEURAUTHOR">Nobukazu Yoshioka</span>
</li>
</ul>

<h3><span class="CEURSESSION">Session B: Invited Talk</span></h3>

<ul>
<li id="iMLSE-18_01-keynote"><a href="iMLSE-18_01-keynote.pdf">
<span class="AUXTITLE">Towards Testing of Deep Learning Systems</span></a>
<span class="AUXPAGES">33</span> <br>
<span class="AUXAUTHOR">Jianjun Zhao</span> 
</li>
</ul>


<h3><span class="CEURSESSION">Session C: Machine Learning Systems Engineering</span></h3>


<ul>
<li id="iMLSE-18_02"><a href="iMLSE-18_02.pdf">
<span class="CEURTITLE">Simplified Influence Evaluation of Additional Training on Deep Neural Networks</span></a>
<span class="CEURPAGES">34-39</span> <br>
<span class="CEURAUTHOR">Naoto Sato</span>, 
<span class="CEURAUTHOR">Hironobu Kuruma</span>, 
<span class="CEURAUTHOR">Yuichiroh Nakagawa</span>, 
<span class="CEURAUTHOR">Hideto Ogawa</span>
</li>

<li id="iMLSE-18_short_03"><a href="iMLSE-18_short_03.pdf">
<span class="CEURTITLE">Guaranteeing Deep Neural Network Outputs in a
Feasible Region (short paper)</span></a>
<span class="CEURPAGES">40-42</span> <br>
<span class="CEURAUTHOR">Hiroshi Maruyama</span>
</li>


</ul>

</div>


<hr>
<span class="unobtrusive">
2021-02-02: submitted by Nobukazu Yoshioka, 
            metadata incl. bibliographic data published under <A HREF="https://creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0</A><br>
<span class="CEURPUBDATE">2021-02-13</span>: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073)
	|<a href="https://validator.w3.org/nu/?doc=http%3A%2F%2Fceur-ws.org%2FVol-2809%2F">valid HTML5</a>|
</span>
</body></html>
