Projects per year
Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
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.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 8 Finished
-
Planning IUCRC University of Minnesota: Center for High-Assurance Secure Systems and IoT (CHASSI)
Heimdahl, M. (PI), Hopper, N. (CoI), Lu, K. (CoI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
10/1/19 → 9/30/21
Project: Research project
-
HeapBuster: Automatically Exploiting Heap Vulnerabilities
McCamant, S. A. (PI)
8/5/19 → 8/4/22
Project: Research project
-
SATC: CORE: Small: MOSE: Automated Detection of Module-Specific Semantic Errors
Lu, K. (PI) & McCamant, S. A. (CoI)
THE NATIONAL SCIENCE FOUNDATION
9/1/18 → 8/31/21
Project: Research project
-
SHF: Medium: Contract-Based Black-Box Assurance
Heimdahl, M. (PI), McCamant, S. A. (CoI) & Rayadurgam, S. (CoI)
THE NATIONAL SCIENCE FOUNDATION
6/15/16 → 5/31/22
Project: Research project
-
TWC: Small: Confidentiality Measurement of Complex Compu
McCamant, S. A. (PI)
THE NATIONAL SCIENCE FOUNDATION
9/1/15 → 8/31/19
Project: Research project
-
Non-Fusion Based Coherent Cache Randomization Using Cross-Domain Accesses
Ramkrishnan, K., McCamant, S., Zhai, A. & Yew, P. C., Jul 1 2024, ACM AsiaCCS 2024 - Proceedings of the 19th ACM Asia Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 186-202 17 p. (ACM AsiaCCS 2024 - Proceedings of the 19th ACM Asia Conference on Computer and Communications Security).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution)
Hussein, S., Yan, Q., McCamant, S., Sharma, V. & Whalen, M. W., 2023, Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 553-558 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13994 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access2 Scopus citations -
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution
Hussein, S., McCamant, S., Sherman, E., Sharma, V. & Whalen, M., 2023, Proceedings - 2023 IEEE/ACM International Conference on Automation of Software Test, AST 2023. Institute of Electrical and Electronics Engineers Inc., p. 79-89 11 p. (2023 IEEE/ACM International Conference on Automation of Software Test (AST)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
Counterexample-Guided Inductive Repair of Reactive Contracts
Hussein, S. M., Rayadurgam, S., McCamant, S., Sharma, V. B. & Heimdahl, M., Jul 21 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. Institute of Electrical and Electronics Engineers Inc., p. 46-57 12 p. (Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
1 Scopus citations -
PREDATOR: A Cache Side-Channel Attack Detector Based on Precise Event Monitoring
Wu, M., McCamant, S., Yew, P. C. & Zhai, A., 2022, Proceedings - 2022 IEEE International Symposium on Secure and Private Execution Environment Design, SEED 2022. Institute of Electrical and Electronics Engineers Inc., p. 25-36 12 p. (Proceedings - 2022 IEEE International Symposium on Secure and Private Execution Environment Design, SEED 2022).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
6 Scopus citations