44 citations · 106 across the 4 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.CR2018★ 20 cited
CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects
Sazzadur Rahaman, Ya Xiao, Sharmin Afrose +6
Cryptographic API misuses, such as exposed secrets, predictable random numbers, and vulnerable certificate verification, seriously threaten software security. The vision of automat…
cs.CR2018★ 6 cited
Checking is Believing: Event-Aware Program Anomaly Detection in Cyber-Physical Systems
Long Cheng, Ke Tian, Danfeng Yao +2
Securing cyber-physical systems (CPS) against malicious attacks is of paramount importance because these attacks may cause irreparable damages to physical systems. Recent studies h…