If you made any changes in Pure these will be visible here soon.

Fingerprint The Fingerprint is created by mining the titles and abstracts of the person's research outputs and projects/funding awards to create an index of weighted terms from discipline-specific thesauri.

  • 4 Similar Profiles
Flow control Engineering & Materials Science
Binary codes Engineering & Materials Science
Static analysis Engineering & Materials Science
Dynamic analysis Engineering & Materials Science
Information Flow Mathematics
Testing Engineering & Materials Science
Reverse engineering Engineering & Materials Science
Specifications Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects 2014 2019

Research Output 2003 2018

  • 23 Conference contribution
  • 4 Article

Bit-vector model counting using statistical estimation

Kim, S. & McCamant, S., Jan 1 2018, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Beyer, D. & Huisman, M. (eds.). Springer- Verlag, p. 133-151 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10805 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Statistical Estimation
Counting
Count
Approximate Model
Surface mount technology
1 Citations

Enhancing cross-ISA DBT through automatically learned translation rules

Wang, W., McCamant, S., Zhai, A. & Yew, P. C., Mar 19 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 84-97 14 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary codes

Fast PokeEMU: Scaling generated instruction tests using aggregation and state chaining

Yan, Q. & McCamant, S., Mar 25 2018, VEE 2018 - Proceedings of the 2018 International Conference on Virtual Execution Environments. Association for Computing Machinery, Inc, p. 71-83 13 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Cryptography
Program processors
Agglomeration
Testing

Finding Substitutable Binary Code for Reverse Engineering by Synthesizing Adapters

Sharma, V., Hietala, K. & McCamant, S., May 25 2018, Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018. Institute of Electrical and Electronics Engineers Inc., p. 150-160 11 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Binary codes
Reverse engineering
Firmware
Glues
Substitution reactions
5 Citations

DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform

Henderson, A., Yan, L. K., Hu, X., Prakash, A., Yin, H. & McCamant, S., Feb 1 2017, In : IEEE Transactions on Software Engineering. 43, 2, p. 164-184 21 p., 7506264

Research output: Contribution to journalArticle

Application programming interfaces (API)
Dynamical systems
Semantics
Acoustic waves
Engines