Stephen A McCamant

20032020

Research output per year

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

Research Output

  • 30 Conference contribution
  • 5 Article
Filter
Conference contribution
2003

Predicting Problems Caused by Component Upgrades

McCamant, S. & Ernst, M. D., 2003, Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11). Association for Computing Machinery (ACM), p. 287-296 10 p. (Proceedings of the Joint European Software Engineering Conference (ESEC) and SIGSOFT Symposium on the Foundations of Software Engineering (FSE-11)).

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

32 Scopus citations
2006

Dynamic inference of abstract types

Guo, P. J., Perkins, J. H., McCamant, S. & Ernst, M. D., Dec 1 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006. p. 255-265 11 p. (Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006; vol. 2006).

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

39 Scopus citations

Inference and enforcement of data structure consistency specifications

Demsky, B., Ernst, M. D., Guo, P. J., McCamant, S., Perkins, J. H. & Rinard, M., Dec 1 2006, Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006. p. 233-243 11 p. (Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006; vol. 2006).

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

78 Scopus citations
2007

A simulation-based proof technique for dynamic information flow

McCamant, S. & Ernst, M. D., Nov 30 2007, PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security. p. 41-46 6 p. (PLAS'07 - Proceedings of the 2007 ACM SIGPLAN Workshop on Programming Languages and Analysis for Security).

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

14 Scopus citations
2008

Quantitative information flow as network flow capacity

McCamant, S. & Ernst, M. D., Dec 12 2008, PLDI'08: Proceedings of the 2008 SIGPLAN Conference on Programming Language Design and Implementation. p. 193-205 13 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

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

92 Scopus citations
2009

Emulating emulation-resistant malware

Kang, M. G., Yin, H., Hanna, S., McCamant, S. & Song, D., 2009, Proceedings of the 1st ACM Workshop on Virtual Machine Security, VMSec '09, Co-located with the 16th ACM Computer and Communications Security Conference, CCS'09. p. 11-22 12 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

52 Scopus citations

Loop-extended symbolic execution on binary programs

Saxena, P., Poosankam, P., McCamant, S. & Song, D., Jul 19 2009, Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009. Association for Computing Machinery, Inc, p. 225-235 11 p. (Proceedings of the 18th International Symposium on Software Testing and Analysis, ISSTA 2009).

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

107 Scopus citations

Measuring channel capacity to distinguish undue influence

Newsome, J., Mccamant, S. & Song, D., 2009, PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security. p. 73-85 13 p. (PLAS'09 - Proceedings of the ACM SIGPLAN 4th Workshop on Programming Languages and Analysis for Security).

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

65 Scopus citations
2010

A symbolic execution framework for JavaScript

Saxena, P., Akhawe, D., Hanna, S., Mao, F., McCamant, S. & Song, D., 2010, 2010 IEEE Symposium on Security and Privacy, SP 2010 - Proceedings. p. 513-528 16 p. 5504700. (Proceedings - IEEE Symposium on Security and Privacy).

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

252 Scopus citations

Input generation via decomposition and re-stitching: Finding bugs in malware

Caballero, J., Poosankam, P., McCamant, S., Babić, D. & Song, D., Dec 16 2010, CCS'10 - Proceedings of the 17th ACM Conference on Computer and Communications Security. p. 413-425 13 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

29 Scopus citations
2011

Differential slicing: Identifying causal execution differences for security applications

Johnson, N. M., Juan, C., Chen, K. Z., McCamant, S., Poosankam, P., Reynaud, D. & Song, D., Aug 29 2011, Proceedings - 2011 IEEE Symposium on Security and Privacy, SP 2011. p. 347-362 16 p. 5958039. (Proceedings - IEEE Symposium on Security and Privacy).

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

41 Scopus citations

Statically-directed dynamic automated test generation

Babić, D., Martignoni, L., McCamant, S. & Song, D., Aug 26 2011, 2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings. p. 12-22 11 p. (2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings).

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

67 Scopus citations
2012

Path-exploration lifting: Hi-fi tests for lo-fi emulators

Martignoni, L., McCamant, S., Poosankam, P., Song, D. & Maniatis, P., Mar 28 2012, ASPLOS XVII - 17th International Conference on Architectural Support for Programming Languages and Operating Systems. p. 337-348 12 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

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

50 Scopus citations
2013

HI-CFG: Construction by binary analysis and application to attack polymorphism

Caselden, D., Bazhanyuk, A., Payer, M., McCamant, S. & Song, D., 2013, Computer Security, ESORICS 2013 - 18th European Symposium on Research in Computer Security, Proceedings. p. 164-181 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8134 LNCS).

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

23 Scopus citations

Practical control flow integrity and randomization for binary executables

Zhang, C., Wei, T., Chen, Z., Duan, L., Szekeres, L., McCamant, S., Song, D. & Zou, W., 2013, Proceedings - 2013 IEEE Symposium on Security and Privacy, SP 2013. p. 559-573 15 p. 6547133. (Proceedings - IEEE Symposium on Security and Privacy).

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

263 Scopus citations

Protecting function pointers in binary

Zhang, C., Wei, T., Chen, Z., Duan, L., McCamant, S. & Szekeres, L., May 27 2013, ASIA CCS 2013 - Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security. p. 487-492 6 p. (ASIA CCS 2013 - Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security).

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

6 Scopus citations
2016

A general persistent code caching framework for dynamic binary translation (DBT)

Wang, W., Yew, P. C., Zhai, A. & McCamant, S., Jan 1 2016, Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016. USENIX Association, p. 591-603 13 p. (Proceedings of the 2016 USENIX Annual Technical Conference, USENIX ATC 2016).

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

12 Scopus citations
2017

Discovering instructions for robust binary-level coverage criteria

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., Jul 13 2017, TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017. Yu, T. & Marinov, D. (eds.). Association for Computing Machinery, Inc, p. 1-4 4 p. (TECPS 2017 - Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems, co-located with ISSTA 2017).

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

1 Scopus citations

Enabling cross-isa offloading for COTS binaries

Wang, W., Yew, P. C., Zhai, A., McCamant, S., Wu, Y. & Bobba, J., Jun 16 2017, MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services. Association for Computing Machinery, Inc, p. 319-331 13 p. (MobiSys 2017 - Proceedings of the 15th Annual International Conference on Mobile Systems, Applications, and Services).

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

Open Access
14 Scopus citations

Toward Rigorous Object-Code Coverage Criteria

Byun, T. J., Sharma, V. B., Rayadurgam, S., McCamant, S. A. & Heimdahl, M., Nov 14 2017, Proceedings - 2017 IEEE 28th International Symposium on Software Reliability Engineering, ISSRE 2017. IEEE Computer Society, p. 328-338 11 p. 8109098. (Proceedings - International Symposium on Software Reliability Engineering, ISSRE; vol. 2017-October).

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

2 Scopus citations
2018

Bit-vector model counting using statistical estimation

Kim, S. & McCamant, S., 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

1 Scopus citations

Contract discovery from black-box components

Sharma, V., Byun, T., McCamant, S., Rayadurgam, S. & Heimdahl, M. P. E., Nov 9 2018, WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018. Honavar, V., Nguyen, T. N., Leavens, G. T., Dyer, R., Rajan, H. & Nguyen, H. A. (eds.). Association for Computing Machinery, Inc, p. 5-8 4 p. (WASPI 2018 - Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, Co-located with FSE 2018).

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

Enhancing cross-ISA DBT through automatically learned translation rules

Wang, W., McCamant, S. A., Zhai, A. B. & Yew, P-C., Mar 19 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. 2 ed. Association for Computing Machinery, Vol. 53. p. 84-97 14 p. (ACM SIGPLAN Notices).

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

4 Scopus citations

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

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

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

Open Access

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. (Proceedings - 2018 IEEE 11th International Conference on Software Testing, Verification and Validation, ICST 2018).

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

3 Scopus citations
2019

Cloud terminal: Secure access to sensitive applications from untrusted systems

Martignoni, L., Poosankam, P., Zaharia, M., Han, J., McCamant, S., Song, D., Paxson, V., Perrig, A., Shenker, S. & Stoica, I., 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. USENIX Association, p. 165-176 12 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

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

2 Scopus citations

Program-mandering: Quantitative privilege separation

Liu, S., Zeng, D., McCamant, S., Huang, Y., Jaeger, T., Capobianco, F. & Tan, G., Nov 6 2019, CCS 2019 - Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, p. 1023-1040 18 p. (Proceedings of the ACM Conference on Computer and Communications Security).

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

Open Access
2020

Efficient and scalable cross-ISA virtualization of hardware transactional memory

Wang, W., Yew, P. C., Zhai, A. & McCamant, S., Feb 22 2020, CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization. Mars, J., Tang, L., Xue, J. & Wu, P. (eds.). Association for Computing Machinery, Inc, p. 107-120 14 p. (CGO 2020 - Proceedings of the 18th ACM/IEEE International Symposium on Code Generation and Optimization).

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

Open Access

First Time Miss: Low Overhead Mitigation for Shared Memory Cache Side Channels

Ramkrishnan, K., McCamant, S. A., Yew, P-C. & Zhai, A., Aug 17 2020, Proceedings of the 49th International Conference on Parallel Processing, ICPP 2020. Association for Computing Machinery, 3404434. (ACM International Conference Proceeding Series).

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

Java Ranger at SV-COMP 2020 (Competition Contribution)

Sharma, V., Hussein, S., Whalen, M. W., McCamant, S. & Visser, W., 2020, Tools and Algorithms for the Construction and Analysis of Systems- 26th International Conference, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Springer, p. 393-397 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12079 LNCS).

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

Open Access
2 Scopus citations