| 2018 | Formal Verification and Improvement of the PKMv3 Protocol Using CSP. | Jinpeng Jiang, Hongyan Mao, Rumeng Shao, Yuanmin Xu |
| 2018 | Model Checking Coordination of CPS Using Timed Automata. | Kaiqiang Jiang, Chunlin Guan, Jiahui Wang, Dehui Du |
| 2018 | An IoT Platform for Civil Infrastructure Monitoring. | Seongwoon Jeong, Kincho H. Law |
| 2018 | A Privacy Safeguard Framework for a WebRTC/WoT-Based Healthcare Architecture. | Saad El Jaouhari, Ahmed Bouabdallah |
| 2018 | Formal Analysis of k-Resiliency for Collaborative UAVs. | A. H. M. Jakaria, Mohammad Ashiqur Rahman |
| 2018 | A Tuning Method of a Monitoring System for Network Forensics in Cloud Environment. | Shintaro Ishihara, Toyokazu Akiyama |
| 2018 | Message from EATA Symposium Chairs. | Ali R. Hurson, Hiroyuki Sato |
| 2018 | On the Selection of Strength for Fixed-Strength Interaction Coverage Based Prioritization. | Rubing Huang, Weiwen Zong, Tsong Yueh Chen, Dave Towey, Jinfu Chen, Yunan Zhou, Weifeng Sun |
| 2018 | ACP: An Efficient User Location Privacy Preserving Protocol for Opportunistic Mobile Social Networks. | Rui Huang, Yichao Lin, Bidi Ying, Amiya Nayak |
| 2018 | Towards Modeling Cyber-Physical Systems with SysML/MARTE/pCCSL. | Ping Huang, Kaiqiang Jiang, Chunlin Guan, Dehui Du |
| 2018 | How Agile Impacts a Software Corporation: An Empirical Study. | Hwai-Jung Hsu, Yves Lin |
| 2018 | On Exploiting Temporal Periodicity for Message Delivery in Mobile Opportunistic Networks. | Yu-Feng Hsu, Chih-Lin Hu, Hsin-Ju Hsiao |
| 2018 | A Discrete Differential Evolution Algorithm for Carpooling. | Fu-Shiung Hsieh, Fu-Min Zhan |
| 2018 | Winner Determination in Combinatorial Double Auctions Based on Differential Evolution Algorithms. | Fu-Shiung Hsieh, Yi-Hong Guo |
| 2018 | Video Forensics for Detecting Shot Manipulation Using the Information of Deblocking Filtering. | Chen-Kuang Hsieh, Ching-Chun Chiu, Po-Chyi Su |
| 2018 | Loop Invariant Generation for Non-monotone Loop Structures. | Chunyan Hou, Jinsong Wang, Chen Chen, Kai Shi |
| 2018 | Alternating Primary Subflow in MPTCP by External Program without Kernel Modification. | Reido Horigome, Nariyoshi Yamai, Naoya Kitagawa, Satoshi Ohzahata |
| 2018 | SPESC: A Specification Language for Smart Contracts. | Xiao He, Bohan Qin, Yan Zhu, Xing Chen, Yi Liu |
| 2018 | Mining Rules from Real-Valued Time Series: A Relative Information-Gain-Based Approach. | Yuanduo He, Xu Chu, Guangju Peng, Yasha Wang, Zhu Jin, Xiaorong Wang |
| 2018 | Security Requirement Modeling Support System Using Software Security Knowledge Base. | Atsuo Hazeyama, Shun'ichi Tanaka, Takafumi Tanaka, Hiroaki Hashiura, Seiji Munetoh, Takao Okubo, Haruhiko Kaiya, Hironori Washizaki, Nobukazu Yoshioka |
| 2018 | Evaluation of the Effectiveness of Risk Assessment and Security Fatigue Visualization Model for Internal E-Crime. | Takashi Hatashima, Keita Nagai, Asami Kishi, Hikaru Uekusa, Shigeaki Tanimoto, Atsushi Kanai, Hitoshi Fuji, Kazuhiko Ohkubo |
| 2018 | Message from the NETSAP 2018 Workshop Organizers. | Masaki Hashimoto, Yoshiaki Hori, Yutaka Miyake |
| 2018 | Chained of Things: A Secure and Dependable Design of Autonomous Vehicle Services. | Md. Golam Moula Mehedi Hasan, Amarjit Datta, Mohammad Ashiqur Rahman, Hossain Shahriar |
| 2018 | A Service-Oriented Approach to Modeling and Reusing Event Correlations. | Yanbo Han, Meiling Zhu, Chen Liu |
| 2018 | On the Confirmation Method of the User's Record of the GakuNinMoodle. | Nobukuni Hamamoto, Shigetoshi Yokoyama, Hiroshi Ueda |