共 50 条
- [34] Equational Reasoning on x86 Assembly Code 11TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2011), 2011, : 75 - 84
- [35] Reverse engineering x86 processor microcode Proceedings of the 26th USENIX Security Symposium, 2017, : 1163 - 1180
- [39] Static detection of vulnerabilities in x86 executables 22ND ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2006, : 269 - +