Kicking and Fixing Software: The Fun & Science of Experimental Approaches (abstract)

Do Nothing, but Carefully: Fault Tolerance with Timing Guarantees for Multiprocessor Systems devoid of Online Adaptation (abstract)

Degradable restructuring of mesh-connected processor arrays with spares on orthogonal sides (abstract)

SSCMSD - Single-Symbol Correction Multi-Symbol Detection for DRAM subsystem (abstract)

Exploring the Relationship Between Dimensionality Reduction and Private Data Release (abstract)

A certificateless one-way group key agreement protocol for end-to-end email encryption (abstract)

InfoLeak: Scheduling-based Information Leakage (abstract)

Experimental Resilience Assessment of An Open-Source Driving Agent (abstract)

Cyber-Physical Transactions: A Method for Securing VANETs with Blockchains (abstract)

Cyber-Physical Security of an Electric Microgrid (abstract)

An Approach for Trustworthiness Benchmarking using Software Metrics (abstract)

Economic Analysis of Blockchain Technology on Digital Platform Market (abstract)

Specification and Formal Verification of Atomic Concurrent Real-Time Transactions (abstract)

An Approach for Formal Analysis of the Security of a Water Treatment Testbed (abstract)

Determining the Tolerable Attack Surface that Preserves Safety of Cyber-Physical Systems (abstract)

Modeling the Required Indoor Temperature Change by Hybrid Automata for Detecting Thermal Problems (abstract)

Software Test-Run Reliability Modeling with Non-homogeneous Binomial Processes (abstract)

Keynote Speech (abstract)

Effects of GPS Spoofing on Unmanned Aerial Vehicles (abstract)

DynPolAC: Dynamic Policy-based Access Control for IoT Systems (abstract)

Evaluating the Security of IoT Networks with Mobile Devices (abstract)

Restructuring mesh-connected processor arrays with spares on four sides by orthogonal side rotation (abstract)

Applying metamorphic testing to e-commerce product search engines (abstract)

On the Detection of Side-Channel Attacks (abstract)

Methods for Approximate Adders Reliability Estimation Based on PTM Model (abstract)

Mobile Software Security Risk Assessment with Program Analysis (abstract)

Towards a security-enhanced cloud platform (abstract)

FastFI: Accelerating Software Fault Injections (abstract)

Control Flow Checking Optimization Based On Regular Patterns Analysis (abstract)

An Improved Data Error Detection Technique for Dependable Embedded Software (abstract)

Research on Convolutional Codes are used in RAID (abstract)

On IoT Misbehavior Detection in Cyber Physical Systems (abstract)

A SAT-Based Approach for SDN Rule Table Distribution (abstract)

Attempt to Apply Machine Learning to a Failure Database - A Case Study on Communications Networks (abstract)

An attack-tolerant agreement algorithm for block chain (abstract)

Software-Defined Dependable Computing for Spacecraft (abstract)

Deriving Fault Locating Test Cases from Constrained Covering Arrays (abstract)

On the effectiveness of code normalization for function identification (abstract)

Adaptive Repetition Scheme with Machine Learning for 3GPP NB-IoT (abstract)

ANTSdroid:Using RasMMA algorithm to generate Malware Behavior Characteristics of Android Malware Family (abstract)

Enforcing Enterprise Mobile Application Security Policy with Plugin Framework (abstract)

Detecting Malicious Web Scraping Activity: a Study with Diverse Detectors (abstract)

On Algorithms Selection for Unsupervised Anomaly Detection (abstract)

Hierarchical Abnormal-node Detection using Fuzzy Logic for ECA Rule-based Wireless Sensor Networks (abstract)

Semantic Failover in Software-Defined Networking (abstract)