共 50 条
- [31] Parallel Integer Polynomial Multiplication PROCEEDINGS OF 2016 18TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC), 2016, : 72 - 80
- [33] SMT-Constrained Symbolic Execution Engine for Integer Overflow Detection in C Code 2015 INFORMATION SECURITY FOR SOUTH AFRICA - PROCEEDINGS OF THE ISSA 2015 CONFERENCE, 2015,
- [34] The Study on Integer Overflow Vulnerability Detection in Binary Executables Based Upon Genetic Algorithm FOUNDATIONS OF INTELLIGENT SYSTEMS (ISKE 2011), 2011, 122 : 259 - +
- [35] FASTER TRUNCATED INTEGER MULTIPLICATION MATHEMATICS OF COMPUTATION, 2024, 93 (347) : 1265 - 1296
- [40] Understanding Integer Overflow in C/C plus 2012 34TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2012, : 760 - 770