Visible to the public Security Science Research Experience for Undergraduates - January 2021Conflict Detection Enabled

Submitted by Jamie Presken on Thu, 01/07/2021 - 8:52am

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 five students to work with Carnegie Mellon researchers in Summer 2020.

  1. Emma Hogan, Siena College, "picoCTF Cybersecurity & Education."
  2. Alexander Billups, Pennsylvania State University at Johnstown, "Secuirty Requirements."
  3. Sang Heon Choi, Rose Hullman College, "Safe and Robust Human-Machine Interfaces."
  4. Timothy Mou, "Nominal Wyvern: Adapting Dependent Object Types for Decidable Subtyping."
  5. Reed Oei, University of Illinois at Urbana Champagne, "Psamathe: A DSL for Safe Blockchain Assets."

COMMUNITY ENGAGEMENTS

Four of the five Security Science students are enrolled during the academic year at colleges without major research programs in computer science. In this way, the progam exposes students to security research that would not otherwise have the opportunity.

The five Security Science students plus several other students from our sister program, the Research Experience for Undergraduate in Software Engineering (REUSE), met with representatives of the NSA to discuss research and careers at the NSA.

EDUCATIONAL ADVANCES (If Applicable)

Groups: