共 50 条
- [21] Rule based production systems for automatic code generation in Java']Java 2006 1ST INTERNATIONAL CONFERENCE ON DIGITAL INFORMATION MANAGEMENT, 2006, : 300 - +
- [22] JChainz: Automatic Detection of Deserialization Vulnerabilities for the Java Language Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13867 LNCS : 136 - 155
- [23] Example-Based Vulnerability Detection and Repair in Java']Java Code 30TH IEEE/ACM INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2022), 2022, : 190 - 201
- [25] Locating SQL Injection Vulnerabilities in Java']Java Byte Code using Natural Language Techniques IEEE SOUTHEASTCON 2018, 2018,
- [26] Spi2Java']Java: Automatic cryptographic protocol Java']Java code generation from spi calculus 18TH INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOL 1 (LONG PAPERS), PROCEEDINGS, 2004, : 400 - 405
- [27] Addressing Side-Channel Vulnerabilities in the Discrete Ziggurat Sampler SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2018, 2018, 11348 : 65 - 84
- [28] Automatic Repair of Java']Java Programs with Mixed Granularity and Variable Mapping INFORMATION TECHNOLOGY AND CONTROL, 2023, 52 (01): : 68 - 84
- [30] Virtual analysis and reduction of side-channel vulnerabilities of smartcards FORMAL ASPECTS IN SECURITY AND TRUST, 2005, 173 : 85 - 98