students | Long Lu

Postdocs

Attacks and Defenses, Cyber Physical Systems, Privacy Preserving AI

System Security, IoT and Embedded Device Security, Program Analysis

Secure On-device Machine Learning, Verifiable IoT Security, Trusted Computing

Memory Safety, Vulnerability Detection, Binary Analysis

Automated firmware testing, Embedded systems security, Cyber-Physical Systems

Program Analysis, Formal Methods, System Security

OS Security, Program Analysis, Machine Learning

ICS/SCADA, Systems Security, Honeypots

Systems security, Program analysis, Automated software testing

Machine Learning, Vulnerability & Malware Detection