| 2018 | Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems. | Zhengguo Yang, Toshiaki Aoki, Yasuo Tan |
| 2018 | Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains. | Matthew Wagner, Bruce M. McMillin |
| 2018 | On the Detection of Side-Channel Attacks. | Tsvetoslava Vateva-Gurova, Neeraj Suri |
| 2018 | InfoLeak: Scheduling-Based Information Leakage. | Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, Neeraj Suri |
| 2018 | An Improved Data Error Detection Technique for Dependable Embedded Software. | Venu Babu Thati, Jens Vankeirsbilck, Niels Penneman, Davy Pissoort, Jeroen Boydens |
| 2018 | Restructuring Mesh-Connected Processor Arrays with Spares on Four Sides by Orthogonal Side Rotation. | Itsuo Takanami, Masaru Fukushi |
| 2018 | Degradable Restructuring of Mesh-Connected Processor Arrays with Spares on Orthogonal Sides. | Itsuo Takanami, Masaru Fukushi |
| 2018 | Exploring the Relationship Between Dimensionality Reduction and Private Data Release. | Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Neeraj Suri, Pang-Chieh Wang |
| 2018 | Mobile Software Security with Dynamic Analysis. | Hossain Shahriar, Kai Qian, Md Arabin Islam Talukder, Dan Chia-Tien Lo, Nidhibahen Patel |
| 2018 | Towards a Security-Enhanced Cloud Platform. | Junsik Seo, Jaehyun Nam, Seungwon Shin |
| 2018 | FastFI: Accelerating Software Fault Injections. | Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri |
| 2018 | Evaluating the Security of IoT Networks with Mobile Devices. | Amelia Samandari, Mengmeng Ge, Jin Bum Hong, Dong Seong Kim |
| 2018 | Experimental Resilience Assessment of an Open-Source Driving Agent. | Abu Hasnat Mohammad Rubaiyat, Yongming Qin, Homa Alemzadeh |
| 2018 | An Approach for Formal Analysis of the Security of a Water Treatment Testbed. | Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur |
| 2018 | Cyber-Physical Security of an Electric Microgrid. | Prashanth Palaniswamy, Bruce M. McMillin |
| 2018 | On the Effectiveness of Code Normalization for Function Identification. | Angelos Oikonomopoulos, Remco Vermeulen, Cristiano Giuffrida, Herbert Bos |
| 2018 | A SAT-Based Approach for SDN Rule Table Distribution. | Ryota Ogasawara, Masayuki Arai |
| 2018 | Applying Metamorphic Testing to e-Commerce Product Search Engines. | Shu Nagai, Tatsuhiro Tsuchiya |
| 2018 | Effects of GPS Spoofing on Unmanned Aerial Vehicles. | Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira |
| 2018 | An Approach for Trustworthiness Benchmarking Using Software Metrics. | Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira |
| 2018 | Detecting Malicious Web Scraping Activity: A Study with Diverse Detectors. | Pedro Marques, Zayani Dabbabi, Miruna-Mihaela Mironescu, Olivier Thonnard, Alysson Bessani, Frances V. Buontempo, Ilir Gashi |
| 2018 | Economic Analysis of Blockchain Technology on Digital Platform Market. | Hyojung Lee, Kiwoon Sung, Kyusang Lee, Jaeseok Lee, Seungjai Min |
| 2018 | An Attack-Tolerant Agreement Algorithm for Block Chain. | Masato Kitakami, Kazuki Matsuoka |
| 2018 | DynPolAC: Dynamic Policy-Based Access Control for IoT Systems. | Mehdi Karimibiuki, Ekta Aggarwal, Karthik Pattabiraman, Andr Ivanov |
| 2018 | Deriving Fault Locating Test Cases from Constrained Covering Arrays. | Hao Jin, Tatsuhiro Tsuchiya |