Location-Aware and Mobility-Based Performance Optimization for Wireless Sensor Networks
Insider Threats and Auctions: Formalization, Mechanized Proof, and Code Generation
An Innovative Approach for the Management of Cross-Coupling Interference in Street Lighting Networks
Parallel big data processing system for security monitoring in Internet of Things networks
ClickPattern: A Pattern Lock System Resilient to Smudge and Side-channel Attacks
A formal approach for network security policy validation