CryptoGuard

Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, +5

Deep Learning-Based Anomaly Detection in Cyber-Physical Systems: Progress and Opportunities

Yuan Luo, Ya Xiao, Long Cheng, +2

arXiv (Cornell University)

Cyber Physical SystemsAnomaly DetectionMachine LearningData ScienceEngineering +10

Automatic Detection of Java Cryptographic API Misuses: Are We There Yet?

Ying Zhang, Md Mahir Asef Kabir, Ya Xiao, +2

IEEE Transactions on Software Engineering

Evaluation of Static Vulnerability Detection Tools With Java Cryptographic API Benchmarks

Sharmin Afrose, Ya Xiao, Sazzadur Rahaman, +2

IEEE Transactions on Software Engineering

EngineeringInformation SecuritySoftware EngineeringInformation ForensicsSoftware Analysis +18

Neural Cryptanalysis: Metrics, Methodology, and Applications in CPS Ciphers

Ya Xiao, Qingying Hao, Danfeng Yao

Hardware SecurityCyber Physical SystemsProprietary Cipher AlgorithmsEngineeringNeural Cryptanalysis +13

CryptoGuard: High Precision Detection of Cryptographic Vulnerabilities in Massive-sized Java Projects

Sazzadur Rahaman, Ya Xiao, Sharmin Afrose, +4

arXiv (Cornell University)

Cryptographic PrimitiveEngineeringInformation SecurityMassive-sized Java ProjectsSoftware Engineering +20

Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP

Salman Ahmed, Ya Xiao, Kevin Z. Snow, +3

EngineeringRe-randomization IntervalsInformation SecurityRandomization SecuritySoftware Engineering +21

Example-based vulnerability detection and repair in Java code

Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, +2

Software MaintenanceEngineeringInformation SecuritySoftware EngineeringSource Code Analysis +16

Trusted GPSR protocol without reputation faking in VANET

Ya Xiao, Shihui Zheng, Bin Sun

The Journal of China Universities of Posts and Telecommunications

Internet Of VehicleEngineeringGpsr ProtocolInformation SecurityTrust Management Architecture +5