PRDC C

44 papers

YearTitle / Authors
201823rd IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2018, Taipei, Taiwan, December 4-7, 2018
2018A Certificateless One-Way Group Key Agreement Protocol for End-to-End Email Encryption.
Jyh-haw Yeh, Srisarguru Sridhar, Gaby G. Dagher, Hung-Min Sun, Ning Shen, Kathleen Dakota White
2018A SAT-Based Approach for SDN Rule Table Distribution.
Ryota Ogasawara, Masayuki Arai
2018ANTSdroid: 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
2018Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT.
Li-Sheng Chen, Wei-Ho Chung, Ing-Yi Chen, Sy-Yen Kuo
2018An Approach for Formal Analysis of the Security of a Water Treatment Testbed.
Sai Sidharth Patlolla, Bruce M. McMillin, Sridhar Adepu, Aditya Mathur
2018An Approach for Trustworthiness Benchmarking Using Software Metrics.
Nadia Patricia Da Silva Medeiros, Naghmeh Ramezani Ivaki, Pedro Costa, Marco Vieira
2018An Attack-Tolerant Agreement Algorithm for Block Chain.
Masato Kitakami, Kazuki Matsuoka
2018An Improved Data Error Detection Technique for Dependable Embedded Software.
Venu Babu Thati, Jens Vankeirsbilck, Niels Penneman, Davy Pissoort, Jeroen Boydens
2018Applying Metamorphic Testing to e-Commerce Product Search Engines.
Shu Nagai, Tatsuhiro Tsuchiya
2018Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks.
Koichi Bando, Kenji Tanaka
2018Control Flow Checking Optimization Based on Regular Patterns Analysis.
Zhiqi Zhu, Joseph Callenes-Sloan, Benjamin Carrión Schäfer
2018Cyber-Physical Security of an Electric Microgrid.
Prashanth Palaniswamy, Bruce M. McMillin
2018Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains.
Matthew Wagner, Bruce M. McMillin
2018Degradable Restructuring of Mesh-Connected Processor Arrays with Spares on Orthogonal Sides.
Itsuo Takanami, Masaru Fukushi
2018Deriving Fault Locating Test Cases from Constrained Covering Arrays.
Hao Jin, Tatsuhiro Tsuchiya
2018Detecting 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
2018Determining 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
2018Do Nothing, But Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems Devoid of Online Adaptation.
Georg von der Brüggen, Lea Schönberger, Jian-Jia Chen
2018DynPolAC: Dynamic Policy-Based Access Control for IoT Systems.
Mehdi Karimibiuki, Ekta Aggarwal, Karthik Pattabiraman, André Ivanov
2018Economic Analysis of Blockchain Technology on Digital Platform Market.
Hyojung Lee, Kiwoon Sung, Kyusang Lee, Jaeseok Lee, Seungjai Min
2018Effects of GPS Spoofing on Unmanned Aerial Vehicles.
Daniel Mendes, Naghmeh Ramezani Ivaki, Henrique Madeira
2018Enforcing Enterprise Mobile Application Security Policy with Plugin Framework.
Pang-Yang Chu, Wei-Huan Lu, Jun-Wei Lin, Yu-Sung Wu
2018Evaluating the Security of IoT Networks with Mobile Devices.
Amelia Samandari, Mengmeng Ge, Jin Bum Hong, Dong Seong Kim
2018Experimental Resilience Assessment of an Open-Source Driving Agent.
Abu Hasnat Mohammad Rubaiyat, Yongming Qin, Homa Alemzadeh
2018Exploring the Relationship Between Dimensionality Reduction and Private Data Release.
Bo-Chen Tai, Szu-Chuang Li, Yennun Huang, Neeraj Suri, Pang-Chieh Wang
2018FastFI: Accelerating Software Fault Injections.
Oliver Schwahn, Nicolas Coppik, Stefan Winter, Neeraj Suri
2018Hierarchical 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
2018InfoLeak: Scheduling-Based Information Leakage.
Tsvetoslava Vateva-Gurova, Salman Manzoor, Yennun Huang, Neeraj Suri
2018Methods for Approximate Adders Reliability Estimation Based on PTM Model.
Jianhui Jiang, Guangming Lu, Zhen Wang
2018Mobile Software Security with Dynamic Analysis.
Hossain Shahriar, Kai Qian, Md Arabin Islam Talukder, Dan Chia-Tien Lo, Nidhibahen Patel
2018Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems.
Zhengguo Yang, Toshiaki Aoki, Yasuo Tan
2018On Algorithms Selection for Unsupervised Anomaly Detection.
Tommaso Zoppi, Andrea Ceccarelli, Andrea Bondavalli
2018On IoT Misbehavior Detection in Cyber Physical Systems.
Ilsun You, Kangbin Yim, Vishal Sharma, Gaurav Choudhary, Ing-Ray Chen, Jin-Hee Cho
2018On the Detection of Side-Channel Attacks.
Tsvetoslava Vateva-Gurova, Neeraj Suri
2018On the Effectiveness of Code Normalization for Function Identification.
Angelos Oikonomopoulos, Remco Vermeulen, Cristiano Giuffrida, Herbert Bos
2018Research on Convolutional Codes are Used in RAID.
Tianyi Zhang, Masato Kitakami
2018Restructuring Mesh-Connected Processor Arrays with Spares on Four Sides by Orthogonal Side Rotation.
Itsuo Takanami, Masaru Fukushi
2018SSCMSD - Single-Symbol Correction Multi-symbol Detection for DRAM Subsystem.
Ravikiran Yeleswarapu, Arun K. Somani
2018Semantic Failover in Software-Defined Networking.
Shu-Wen Hsueh, Tung-Yueh Lin, Weng-Ian Lei, Chi-Leung Patrick Ngai, Yu-Hang Sheng, Yu-Sung Wu
2018Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes.
Yunlu Zhao, Tadashi Dohi, Hiroyuki Okamura
2018Software-Defined Dependable Computing for Spacecraft.
Christian M. Fuchs, Nadia M. Murillo, Aske Plaat, Erik van der Kouwe, Daniel Harsono, Peng Wang
2018Specification and Formal Verification of Atomic Concurrent Real-Time Transactions.
Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu
2018Towards a Security-Enhanced Cloud Platform.
Junsik Seo, Jaehyun Nam, Seungwon Shin