共 50 条
- [31] Equational Reasoning on x86 Assembly Code 11TH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM 2011), 2011, : 75 - 84
- [32] Reverse engineering x86 processor microcode Proceedings of the 26th USENIX Security Symposium, 2017, : 1163 - 1180
- [36] Static detection of vulnerabilities in x86 executables 22ND ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PROCEEDINGS, 2006, : 269 - +
- [38] TAXI: Trace analysis for X86 interpretation ICCD'2002: IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 2002, : 508 - 514
- [39] MPTLsim: A Simulator for X86 Multicore Processors DAC: 2009 46TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2009, : 226 - 231
- [40] Register renaming for x86 superscalar design 1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1996, : 336 - 343