Research Operations
Publications
See
publications by year
, or:
Aggregators
Students
Juni DeYoung
BS CS, BA Math 2023
Brandon Rodriguez-Hernandez
BS CS, BS DS, MS DS 2025
Kendall Leonard
BS CS, BS DS, MS DS 2025
Hannah Pahama (right)
BS DS 2025
Jacob Plax
BS CS, BS DS, MS CS 2025
Aristotle Stassinopoulos
MS CS 2025
Owyn Wyatt (center)
BS CS 2027
Open Source
[
Myrtha
] Hardware CI/CD
[
Aphrodite
] RISC Emulation
[
Isadora
][
SoC
] Hyperproperties
[
Astarte
] Intel/AMD Security Properties
[
Undine
] Temporal Properties
[
Coppelia
] Exploit Generation