Dynamic defense strategy against advanced persistent threat with insiders

Pengfei Hu, Hongxing Li, Hao Fu, +2

Attack SimulationThreat (Computer)EngineeringTargeted AttackInformation Security +12

IoTGaze: IoT Security Enforcement via Wireless Context Analysis

Tianbo Gu, Zheng Fang, Allaukik Abhishek, +3

Mobile SecurityEngineeringInformation SecurityWireless ContextIot Security +15

A model checking-based security analysis framework for IoT systems

Zheng Fang, Hao Fu, Tianbo Gu, +4

High-Confidence Computing

Towards Learning-automation IoT Attack Detection through Reinforcement Learning

Tianbo Gu, Allaukik Abhishek, Hao Fu, +3

Artificial IntelligenceHardware SecurityIot ForensicsEngineeringMachine Learning +13

LeakSemantic: Identifying abnormal sensitive network transmissions in mobile applications

Hao Fu, Zizhan Zheng, Somdutta Bose, +2

Mobile SecurityEngineeringMachine LearningEvasion TechniqueInformation Security +19

Keeping Context In Mind: Automating Mobile App Access Control with User Interface Inspection

Hao Fu, Zizhan Zheng, Sencun Zhu, +1

Mobile SecurityEngineeringInformation SecuritySoftware EngineeringCommunication +23

Formal verification of security protocols using Spin

Shengbo Chen, Hao Fu, Huaikou Miao

Ban LogicEngineeringAuthentication ProtocolInformation SecurityVerification +12

FlowIntent: Detecting Privacy Leakage from User Intention to Network Traffic Mapping

Hao Fu, Zizhan Zheng, Aveek Das, +3

Mobile SecurityNetwork Traffic MappingEngineeringInternet Traffic AnalysisInformation Security +23

ForeSee: A Cross-Layer Vulnerability Detection Framework for the Internet of Things

Zheng Fang, Hao Fu, Tianbo Gu, +3

EngineeringInformation SecuritySecurity AssessmentNetwork AnalysisIot Security +16

Towards Automatic Detection of Nonfunctional Sensitive Transmissions in Mobile Applications

Hao Fu, Pengfei Hu, Zizhan Zheng, +5

IEEE Transactions on Mobile Computing

Mobile Signal ProcessingMobile SecurityEngineeringUsable SecurityInformation Security +22