Stephen A McCamant

20032022
If you made any changes in Pure, your changes 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 2022

Research Output 2003 2019

  • 27 Conference contribution
  • 5 Article

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., Jan 1 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

Engines
Electronic mail
Servers
Display devices
Hardware

Finding Substitutable Binary Code By Synthesizing Adapters

Sharma, V., Hietala, K. & McCamant, S., Jan 1 2019, (Accepted/In press) In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Binary codes
Glues
Semantics
Concretes
Engineers

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
Integer programming
Flow control
Experiments

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

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

Static analysis
Dynamic analysis
Systems analysis