PRDC 2018: THE 23RD IEEE PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING

A
Adepu, Sridhar	An Approach for Formal Analysis of the Security of a Water Treatment Testbed
Aggarwal, Ekta	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Alemzadeh, Homa	Experimental Resilience Assessment of An Open-Source Driving Agent
Aoki, Toshiaki	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
Arai, Masayuki	A SAT-Based Approach for SDN Rule Table Distribution
B
Bando, Koichi	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
Berjab, Nesrine	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Bessani, Alysson	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Bondavalli, Andrea	On Algorithms Selection for Unsupervised Anomaly Detection
Bos, Herbert	On the effectiveness of code normalization for function identification
Boydens, Jeroen	An Improved Data Error Detection Technique for Dependable Embedded Software
Buontempo, Frances	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
C
Cai, Simin	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
Callenes-Sloan, Joseph	Control Flow Checking Optimization Based On Regular Patterns Analysis
Carrion Schafer, Benjamin	Control Flow Checking Optimization Based On Regular Patterns Analysis
Ceccarelli, Andrea	On Algorithms Selection for Unsupervised Anomaly Detection
Chang, Shun-Chieh	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Cheh, Carmen	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Chen, Binbin	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Chen, Ing-Ray	On IoT Misbehavior Detection in Cyber Physical Systems
Chen, Ing-Yi	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
Chen, Jian-Jia	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
Chen, Li-Sheng	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
Chen, Meng Chang	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Cho, Jin-Hee	On IoT Misbehavior Detection in Cyber Physical Systems
Choudhary, Gaurav	On IoT Misbehavior Detection in Cyber Physical Systems
Chu, Pang-Yang	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Chuang, Wu Long	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Chung, Wei-Ho	Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
Coppik, Nicolas	FastFI: Accelerating Software Fault Injections
D
Dabbadi, Zayani	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Dagher, Gaby	A certificateless one-way group key agreement protocol for end-to-end email encryption
Dohi, Tadashi	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
F
Fawaz, Ahmed	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Fuchs, Christian M.	Software-Defined Dependable Computing for Spacecraft
Fukushi, Masaru	Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides
G
Gallina, Barbara	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
Gashi, Ilir	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Ge, Mengmeng	Evaluating the Security of IoT Networks with Mobile Devices
Giuffrida, Cristiano	On the effectiveness of code normalization for function identification
H
Harsono, Daniel	Software-Defined Dependable Computing for Spacecraft
Hong, Jin B.	Evaluating the Security of IoT Networks with Mobile Devices
Hsueh, Shu-Wen	Semantic Failover in Software-Defined Networking
Huang, Yennun	Exploring the Relationship Between Dimensionality Reduction and Private Data Release InfoLeak: Scheduling-based Information Leakage
I
Ivaki, Naghmeh	Effects of GPS Spoofing on Unmanned Aerial Vehicles An Approach for Trustworthiness Benchmarking using Software Metrics
Ivanov, Andre	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
J
Jiang, Jianhui	Methods for Approximate Adders Reliability Estimation Based on PTM Model
Jin, Hao	Deriving Fault Locating Test Cases from Constrained Covering Arrays
K
Karimibiuki, Mehdi	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Kim, Dong Seong	Evaluating the Security of IoT Networks with Mobile Devices
Kitakami, Masato	Research on Convolutional Codes are used in RAID An attack-tolerant agreement algorithm for block chain
Kuo, Sy-Yen	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT
L
Le, Hieu Hanh	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Lee, Hyojung	Economic Analysis of Blockchain Technology on Digital Platform Market
Lee, Jaeseok	Economic Analysis of Blockchain Technology on Digital Platform Market
Lee, Kyusang	Economic Analysis of Blockchain Technology on Digital Platform Market
Lei, Weng-Ian	Semantic Failover in Software-Defined Networking
Li, Szu-Chuang	Exploring the Relationship Between Dimensionality Reduction and Private Data Release
Lin, Jun-Wei	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Lin, Tung-Yueh	Semantic Failover in Software-Defined Networking
Lo, Dan	Mobile Software Security Risk Assessment with Program Analysis
Lu, Guangming	Methods for Approximate Adders Reliability Estimation Based on PTM Model
Lu, Wei-Huan	Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
M
Madeira, Henrique	Effects of GPS Spoofing on Unmanned Aerial Vehicles
Manzoor, Salman	InfoLeak: Scheduling-based Information Leakage
Marques, Pedro	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Mathur, Aditya	An Approach for Formal Analysis of the Security of a Water Treatment Testbed
Matsuoka, Kazuki	An attack-tolerant agreement algorithm for block chain
McMillin, Bruce	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains Cyber-Physical Security of an Electric Microgrid An Approach for Formal Analysis of the Security of a Water Treatment Testbed
Medeiros, Nádia	An Approach for Trustworthiness Benchmarking using Software Metrics
Mendes, Daniel	Effects of GPS Spoofing on Unmanned Aerial Vehicles
Min, Seungjai	Economic Analysis of Blockchain Technology on Digital Platform Market
Mironescu, Miruna-Mihaela	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Murillo, Nadia M.	Software-Defined Dependable Computing for Spacecraft
N
Nagai, Shu	Applying metamorphic testing to e-commerce product search engines
Nam, Jaehyun	Towards a security-enhanced cloud platform
Ngai, Chi-Leung Patrick	Semantic Failover in Software-Defined Networking
Noureddine, Mohammad	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Nunes Da Costa, Pedro	An Approach for Trustworthiness Benchmarking using Software Metrics
Nyström, Dag	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
O
Ogasawara, Ryota	A SAT-Based Approach for SDN Rule Table Distribution
Oikonomopoulos, Angelos	On the effectiveness of code normalization for function identification
Okamura, Hiroyuki	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
P
Palaniswamy, Prashanth	Cyber-Physical Security of an Electric Microgrid
Patel, Nidhibahen	Mobile Software Security Risk Assessment with Program Analysis
Patlolla, Sai Sidharth	An Approach for Formal Analysis of the Security of a Water Treatment Testbed
Pattabiraman, Karthik	DynPolAC: Dynamic Policy-based Access Control for IoT Systems
Penneman, Niels	An Improved Data Error Detection Technique for Dependable Embedded Software
Pissoort, Davy	An Improved Data Error Detection Technique for Dependable Embedded Software
Plaat, Aske	Software-Defined Dependable Computing for Spacecraft
Q
Qian, Kai	Mobile Software Security Risk Assessment with Program Analysis
Qin, Yongming	Experimental Resilience Assessment of An Open-Source Driving Agent
R
Rubaiyat, Abu Hasnat Mohammad	Experimental Resilience Assessment of An Open-Source Driving Agent
S
Samandari, Amelia	Evaluating the Security of IoT Networks with Mobile Devices
Sanders, William	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Schwahn, Oliver	FastFI: Accelerating Software Fault Injections
Schönberger, Lea	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
Seceleanu, Cristina	Specification and Formal Verification of Atomic Concurrent Real-Time Transactions
Seo, Junsik	Towards a security-enhanced cloud platform
Shahriar, Hossain	Mobile Software Security Risk Assessment with Program Analysis
Sharma, Vishal	On IoT Misbehavior Detection in Cyber Physical Systems
Shen, Ning	A certificateless one-way group key agreement protocol for end-to-end email encryption
Sheng, Yu-Hang	Semantic Failover in Software-Defined Networking
Shin, Seungwon	Towards a security-enhanced cloud platform
Somani, Arun K.	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
Sridhar, Srisarguru	A certificateless one-way group key agreement protocol for end-to-end email encryption
Sun, Bo	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Sun, Hung-Min	A certificateless one-way group key agreement protocol for end-to-end email encryption
Sun, Yeali	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Sung, Kiwoon	Economic Analysis of Blockchain Technology on Digital Platform Market
Suri, Neeraj	Kicking and Fixing Software: The Fun & Science of Experimental Approaches Exploring the Relationship Between Dimensionality Reduction and Private Data Release On the Detection of Side-Channel Attacks InfoLeak: Scheduling-based Information Leakage FastFI: Accelerating Software Fault Injections
T
Tai, Bo-Chen	Exploring the Relationship Between Dimensionality Reduction and Private Data Release
Takahashi, Takeshi	ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family
Takanami, Itsuo	Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides
Talukder, Md Arabin Islam	Mobile Software Security Risk Assessment with Program Analysis
Tanaka, Kenji	Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks
Temple, William	Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems
Thati, Venu Babu	An Improved Data Error Detection Technique for Dependable Embedded Software
Thonnard, Olivier	Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors
Trivedi, Kishor	Keynote Speech
Tsuchiya, Tatsuhiro	Applying metamorphic testing to e-commerce product search engines Deriving Fault Locating Test Cases from Constrained Covering Arrays
V
van der Kouwe, Erik	Software-Defined Dependable Computing for Spacecraft
Vankeirsbilck, Jens	An Improved Data Error Detection Technique for Dependable Embedded Software
Vateva-Gurova, Tsvetoslava	On the Detection of Side-Channel Attacks InfoLeak: Scheduling-based Information Leakage
Vermeulen, Remco	On the effectiveness of code normalization for function identification
Vieira, Marco	An Approach for Trustworthiness Benchmarking using Software Metrics
von der Brüggen, Georg	Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation
W
Wagner, Matthew	Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains
Wang, Peng	Software-Defined Dependable Computing for Spacecraft
Wang, Zhen	Methods for Approximate Adders Reliability Estimation Based on PTM Model
White, Kathleen D.	A certificateless one-way group key agreement protocol for end-to-end email encryption
Winter, Stefan	FastFI: Accelerating Software Fault Injections
Wu, Yu-Sung	Semantic Failover in Software-Defined Networking Enforcing Enterprise Mobile Application Security Policy with Plugin Framework
Y
Yang, Zhengguo	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems
Yeh, Jyh-Haw	A certificateless one-way group key agreement protocol for end-to-end email encryption
Yeleswarapu, Ravikiran	SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem
Yim, Kangbin	On IoT Misbehavior Detection in Cyber Physical Systems
Yokota, Haruo	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
You, Ilsun	On IoT Misbehavior Detection in Cyber Physical Systems
Yu, Chia-Mu	Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks
Z
Zhang, Tianyi	Research on Convolutional Codes are used in RAID
Zhao, Yunlu	Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes
Zhu, Zhiqi	Control Flow Checking Optimization Based On Regular Patterns Analysis
Zoppi, Tommaso	On Algorithms Selection for Unsupervised Anomaly Detection
丹
丹, 康雄	Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems

Disclaimer | Powered by EasyChair Smart Program