| 2018 | Methods for Approximate Adders Reliability Estimation Based on PTM Model. | Jianhui Jiang, Guangming Lu, Zhen Wang |
| 2018 | Semantic Failover in Software-Defined Networking. | Shu-Wen Hsueh, Tung-Yueh Lin, Weng-Ian Lei, Chi-Leung Patrick Ngai, Yu-Hang Sheng, Yu-Sung Wu |
| 2018 | Software-Defined Dependable Computing for Spacecraft. | Christian M. Fuchs, Nadia M. Murillo, Aske Plaat, Erik van der Kouwe, Daniel Harsono, Peng Wang |
| 2018 | Enforcing Enterprise Mobile Application Security Policy with Plugin Framework. | Pang-Yang Chu, Wei-Huan Lu, Jun-Wei Lin, Yu-Sung Wu |
| 2018 | Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT. | Li-Sheng Chen, Wei-Ho Chung, Ing-Yi Chen, Sy-Yen Kuo |
| 2018 | Determining Tolerable Attack Surfaces that Preserves Safety of Cyber-Physical Systems. | Carmen Cheh, Ahmed M. Fawaz, Mohammad A. Noureddine, Binbin Chen, William G. Temple, William H. Sanders |
| 2018 | ANTSdroid: Using RasMMA Algorithm to Generate Malware Behavior Characteristics of Android Malware Family. | Shun-Chieh Chang, Yeali S. Sun, Wu-Long Chuang, Meng Chang Chen, Bo Sun, Takeshi Takahashi |
| 2018 | Specification and Formal Verification of Atomic Concurrent Real-Time Transactions. | Simin Cai, Barbara Gallina, Dag Nystrm, Cristina Seceleanu |
| 2018 | Do Nothing, But Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems Devoid of Online Adaptation. | Georg von der Brggen, Lea Schnberger, Jian-Jia Chen |
| 2018 | Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks. | Nesrine Berjab, Hieu Hanh Le, Chia-Mu Yu, Sy-Yen Kuo, Haruo Yokota |
| 2018 | Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks. | Koichi Bando, Kenji Tanaka |
| 2017 | Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. | Armin Zimmermann, Paulo R. M. Maciel |
| 2017 | Formal Specification and Verification of Security Guidelines. | Zeineb Zhioua, Yves Roudier, Raba Ameur-Boulifa |
| 2017 | Instagram Spam Detection. | Wuxain Zhang, Hung-Min Sun |
| 2017 | A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations. | Masayoshi Yoshimura, Tomohiro Bouyashiki, Toshinori Hosokawa |
| 2017 | Fast Controller Switching for Fault-Tolerant Cyber-Physical Systems on Software-Defined Networks. | Seunghyun Yoon, Jiae Lee, Yohan Kim, Sunghwan Kim, Hyuk Lim |
| 2017 | Meeting the Challenges of Critical and Extreme Dependability and Security. | Paulo Jorge Esteves Verssimo, Marcus Vlp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha |
| 2017 | A Novel Highly Available Data Replication Strategy Exploiting Data Semantics, Coding Techniques and Prior At-Hand Knowledge. | Awais Usman, Robert Schadek, Oliver E. Theel |
| 2017 | Bitcoin's Consistency Property. | Lewis Tseng |
| 2017 | Voting in the Presence of Byzantine Faults. | Lewis Tseng |
| 2017 | Key Management in Internet of Things via Kronecker Product. | I-Chen Tsai, Chia-Mu Yu, Haruo Yokota, Sy-Yen Kuo |
| 2017 | Robust ORAM: Enhancing Availability, Confidentiality and Integrity. | Tran Phuong Thao, Atsuko Miyaji, Mohammad Shahriar Rahman, Shinsaku Kiyomoto, Ayumu Kubota |
| 2017 | On Train Automatic Stop Control Using Balises: Attacks and a Software-Only Countermeasure. | William G. Temple, Bao Anh N. Tran, Binbin Chen, Zbigniew Kalbarczyk, William H. Sanders |
| 2017 | A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays with Spares on Diagonal. | Itsuo Takanami, Masaru Fukushi |
| 2017 | Spare-Tile-Based Dependable Logic Design for Sea-of-Tiles Architecture with Ambipolar Devices. | Dan Takahashi, Masayuki Arai |