Hengrun Zhang

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Information Assurance

Authentication Protocol

Statistical Databases

Intrusion Detection

Top Venues

Publications

McKenna McCall, Hengrun Zhang, Limin Jia
Knowledge-Based Security of Dynamic Secrets for Reactive Programs. CSF (2018)