Visible to the public Security Science Research Experience for Undergraduates - April 2023Conflict Detection Enabled

PI(s), Co-PI(s), Researchers: Joshua Sunshine at CMU

HARD PROBLEM(S) ADDRESSED
This refers to Hard Problems, released November 2012.

PUBLICATIONS

Reed Oei. 2020. Psamathe: A DSL for Safe Blockchain Assets. In Proc. ACM SPLASH Student Research Competition.

PUBLIC ACCOMPLISHMENT HIGHLIGHTS
The Security Science Research Experience for Undergraduates funded four students to work with Carnegie Mellon Researchers in Summer 2022:

  1. Emily Chang, University of Virginia, "picoCTF Cybersecurity & Education Research through Online Gaming," Advisors: Hanan Hibshi and Maverick Woo.
  2. Patrick May, College of Wooster, "Developer Awareness of Secure Programming Practices." Advisor: Hanan Hibshi.
  3. Lyric Sampson, Alabama A&M University, "AI Ethics in Open Source," Advisors: James Herbsleb and Laura Dabbish
  4. Daniel Verdi do Amarante, University of Richmond, "Natural Test Case Generation Using Deep Learning," Advisors: Rohan Padhye and Vincent Hellendoorn

COMMUNITY ENGAGEMENTS

EDUCATIONAL ADVANCES (If Applicable)