| 2017 | 22nd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2017, Christchurch, New Zealand, January 22-25, 2017 Dong Seong Kim, Masato Kitakami, Vijay Varadharajan |
| 2017 | A Built-in Circuit for Self-Repairing Mesh-Connected Processor Arrays with Spares on Diagonal. Itsuo Takanami, Masaru Fukushi |
| 2017 | A Diagnostic Fault Simulation Method for a Single Universal Logical Fault Model. Toshinori Hosokawa, Hideyuki Takano, Hiroshi Yamazaki, Koji Yamazaki |
| 2017 | A Hardware Trojan Circuit Detection Method Using Activation Sequence Generations. Masayoshi Yoshimura, Tomohiro Bouyashiki, Toshinori Hosokawa |
| 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 | A Probabilistic Analysis of a Leader Election Protocol for Virtual Traffic Lights. Negin Fathollahnejad, Raul Barbosa, Johan Karlsson |
| 2017 | A Rejuvenation Strategy of Two-Granularity Software Based on Adaptive Control. Yunyu Fang, Bei-Bei Yin, Gao-Rong Ning, Zheng Zheng, Kai-Yuan Cai |
| 2017 | Accelerating Integrity Verification on Secure Processors by Promissory Hash. Mizuki Miyanaga, Hidetsugu Irie, Shuichi Sakai |
| 2017 | Accounting for the Human User in Predictive Security Models. Mohammad A. Noureddine, Andrew Marturano, Ken Keefe, Masooda N. Bashir, William H. Sanders |
| 2017 | An Abstraction Model and a Comparative Analysis of Intel and ARM Hardware Isolation Mechanisms. Guillaume Averlant, Benoît Morgan, Eric Alata, Vincent Nicomette, Mohamed Kaâniche |
| 2017 | An Empirical Investigation of Fault Triggers in Android Operating System. Fangyun Qin, Zheng Zheng, Xiaodan Li, Yu Qiao, Kishor S. Trivedi |
| 2017 | Application of Congestion Notifications in a Cyber-Physical System. Stephen Jackson, Bruce M. McMillin |
| 2017 | Attack Induced Common-Mode Failures on PLC-Based Safety System in a Nuclear Power Plant: Practical Experience Report. Bernard Lim, Daniel Chen, Yongkyu An, Zbigniew Kalbarczyk, Ravishankar K. Iyer |
| 2017 | Bitcoin's Consistency Property. Lewis Tseng |
| 2017 | Capacity-Oriented Availability Model for Resources Estimation on Private Cloud Infrastructure. Carlos Melo, Rúbens de Souza Matos Júnior, Jamilson Dantas, Paulo R. M. Maciel |
| 2017 | Comparison of Corrupted Sensor Data Detection Methods in Detecting Stealthy Attacks on Cyber-Physical Systems. Giedre Sabaliauskaite, Geok See Ng, Justin Ruths, Aditya Mathur |
| 2017 | Dependability Evaluation of AFDX Real-Time Avionic Communication Networks. Armin Zimmermann, Paulo R. M. Maciel |
| 2017 | Designing Networks-on-Chip for High Assurance Real-Time Systems. Eberle A. Rambo, Christoph Seitz, Selma Saidi, Rolf Ernst |
| 2017 | Detection of Recovery Patterns in Cluster Systems Using Resource Usage Data. Nentawe Gurumdimma, Arshad Jhumka |
| 2017 | Efficient Fault-Tolerant Clock Synchronization in Ring Topologies. Klaus Echtle, Zoha Moztarzadeh |
| 2017 | Electromagnetic Noise Tolerant Hybrid Communication Protocol for CANs. Muneyuki Nakamura, Koji Konomi, Mamoru Ohara, Kazuya Sakai, Satoshi Fukumoto |
| 2017 | Erasure-Code-Based DTN Multi-path Routing for Contact Avoidance. Hironori Arai, Masayuki Arai |
| 2017 | Evaluating the Risk of Data Disclosure Using Noise Estimation for Differential Privacy. Hung-Li Chen, Jia-Yang Chen, Yao-Tung Tsou, Chia-Mu Yu, Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Chia-Ming Lin |
| 2017 | Expolynomial Modelling for Supporting VANET Infrastructure Planning. Aleciano Lobo Junior, Rúbens de Souza Matos Júnior, Bruno Silva, Paulo R. M. Maciel |
| 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 | Formal Specification and Verification of Security Guidelines. Zeineb Zhioua, Yves Roudier, Rabéa Ameur-Boulifa |
| 2017 | Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms. Teru Ohashi, Tatsuhiro Tsuchiya |
| 2017 | Increasing the Accuracy of Cost and Availability Predictions of Quorum Protocols. Robert Schadek, Oliver E. Theel |
| 2017 | Instagram Spam Detection. Wuxain Zhang, Hung-Min Sun |
| 2017 | Integration of Integrity Enforcing Technologies into Embedded Control Devices: Experiences and Evaluation. Tobias Rauter, Andrea Höller, Johannes Iber, Michael Krisper, Christian Kreiner |
| 2017 | Key Management in Internet of Things via Kronecker Product. I-Chen Tsai, Chia-Mu Yu, Haruo Yokota, Sy-Yen Kuo |
| 2017 | Learning Process Behavioral Baselines for Anomaly Detection. Ahmed M. Fawaz, William H. Sanders |
| 2017 | Light-Weight Techniques for Improving the Controllability and Efficiency of ISA-Level Fault Injection Tools. Behrooz Sangchoolie, Roger Johansson, Johan Karlsson |
| 2017 | MEC: Network Optimized Multi-stage Erasure Coding for Scalable Storage Systems. Hiroaki Akutsu, Takahiro Yamamoto, Kazunori Ueda, Hideo Saito |
| 2017 | Meeting the Challenges of Critical and Extreme Dependability and Security. Paulo Jorge Esteves Veríssimo, Marcus Völp, Jeremie Decouchant, Vincent Rahli, Francisco Rocha |
| 2017 | Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions. Paulo R. M. Maciel, Rúbens de Souza Matos Júnior, Bruno Silva, Jair Figueiredo, Danilo Oliveira, Iure Fe, Ronierison Maciel, Jamilson Dantas |
| 2017 | Method and Case Study of Model Checking Concurrent Systems That Use Unbounded Timestamps. Shinya Nakano, Tatsuhiro Tsuchiya |
| 2017 | Multi-site Synchronous VM Replication for Persistent Systems with Asymmetric Read/Write Latencies. Vasily A. Sartakov, Rüdiger Kapitza |
| 2017 | On Dependability, Cost and Security Trade-Off in Cloud Data Centers. Subrota K. Mondal, Abadhan Saumya Sabyasachi, Jogesh K. Muppala |
| 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 | Resilience Benchmarking of Transactional Systems: Experimental Study of Alternative Metrics. Raquel Almeida, Afonso Araújo Neto, Henrique Madeira |
| 2017 | Robust ORAM: Enhancing Availability, Confidentiality and Integrity. Tran Phuong Thao, Atsuko Miyaji, Mohammad Shahriar Rahman, Shinsaku Kiyomoto, Ayumu Kubota |
| 2017 | SeReCP: A Secure and Reliable Communication Platform for the Smart Grid. Kubilay Demir, Neeraj Suri |
| 2017 | Smart Cage Implementation with Dependable Safety Agent for Dogs. Kiat Siong Ng, Pei-Yin Chen, Pi-Hui Ting |
| 2017 | Soft Errors Susceptibility of Virtualization Servers. Frederico Cerveira, Raul Barbosa, Henrique Madeira |
| 2017 | Spare-Tile-Based Dependable Logic Design for Sea-of-Tiles Architecture with Ambipolar Devices. Dan Takahashi, Masayuki Arai |
| 2017 | Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination. Mikael Asplund, Jakob Lovhall, Emília Villani |
| 2017 | Towards Outsourced Privacy-Preserving Multiparty DBSCAN. Mohammad Shahriar Rahman, Anirban Basu, Shinsaku Kiyomoto |
| 2017 | Trend Analyses of Failures in Information Systems: A Case Study on Communications Networks and Financial Information Systems. Koichi Bando, Yutaka Matsuno, Yang Ishigaki, Kenji Tanaka |
| 2017 | Voting in the Presence of Byzantine Faults. Lewis Tseng |