CRAHNs: Cognitive radio ad hoc networks
A Study on Formal Methods to Generalize Heterogeneous Mobile Malware Propagation and Their Impacts
Distributed Detection of Sensor Worms Using Sequential Analysis and Remote Software Attestations
EFRS:Enabling Efficient and Fine-Grained Range Search on Encrypted Spatial Data
Automated Analysis of Secure Internet of Things Protocols
Cyber Warfare : A New Doctrine and Taxonomy