共 50 条
- [1] Bouncing threads: Merging a new execution model into a nanotechnology memory ISVLSI 2003: IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: NEW TRENDS AND TECHNOLOGIES FOR VLSI SYSTEMS DESIGN, 2003, : 19 - 25
- [2] Branch obfuscation to combat symbolic execution Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2015, 43 (05): : 870 - 878
- [3] Linear Obfuscation to Combat Symbolic Execution COMPUTER SECURITY - ESORICS 2011, 2011, 6879 : 210 - +
- [5] Code Obfuscation Against Symbolic Execution Attacks 32ND ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2016), 2016, : 189 - 200
- [6] On Preventing Symbolic Execution Attacks by Low Cost Obfuscation 2019 20TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2019, : 495 - 500
- [7] Formal model of IEC 61499 execution trace in FBME IDE 2022 IEEE 20TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2022, : 588 - 593
- [9] A Data Structure Centric Method and Execution Model for Partitioning Sequential Programs into Multiple Speculative Threads 2012 IEEE 14TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS & 2012 IEEE 9TH INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (HPCC-ICESS), 2012, : 556 - 563