2 papers
cs.CR2018
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
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…