Alexandra E. Michael

Contact

aemichae [@] cs.washington.edu

GitHub

Google Scholar

LinkedIn

About me

I am a PhD student in Computer Science at the University of Washington in Seattle. I work with David Kohlbrenner and Dan Grossman in the Security and Privacy and PLSE labs, respectively.

My research interests lie at the intersection of security, programming languages, and compilers. I focus particularly on applying formal methods to hardware security.

I earned my B.S. in Computer Science from UC San Diego, where I worked with Deian Stefan.

Research

• Formal methods for hardware reverse engineering

  I am exploring how we can use programming languages and formal methods to build improved tools for hardware reverse engineering.

• Mitigating and formalizing microarchitectural side channels

  Recent work has explored how novel microarchitectural optimizations can open new side channels in previously constant-time code. Some of these optimizations are already being implemented and resulting in new attacks. We are developing novel compiler-based approaches that leverage formal methods to identify and mitigate these side channels in software.

Publications

• Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations. Michael Flanders, Reshabh K Sharma, Alexandra E. Michael, Dan Grossman, David Kohlbrenner. ASPLOS 2024.

  • Our tool, cio, is available on GitHub.
  • [April 29, 2024] I delivered the ASPLOS 2024 talk for this paper in San Diego, CA.
  • [April 15, 2024] I wrote a related blog post on instruction-centric optimizations.

• MSWasm: Soundly Enforcing Memory-Safe Execution of Unsafe Code. Alexandra E. Michael*, Anitha Gollamudi*, Jay Bosamiya, Evan Johnson, Aidan Denlinger, Craig Disselkoen, Conrad Watt, Bryan Parno, Marco Patrignani, Marco Vassena, and Deian Stefan. POPL 2023.

Teaching

University of Washington (TA)

UC San Diego (Undergraduate TA/CSE Tutor)

Selected honors & awards

• NSF Graduate Research Fellowship. National Science Foundation, March 2023.

• Corin Anderson Fellowship. Paul G. Allen School of Computer Science, University of Washington, September 2022.

• Undergraduate Excellence in Research Award. UCSD Computer Science and Engineering Department, June 2022.

• Summa Cum Laude. UC San Diego, December 2021.

Other

I currently help run the PLSE Blog, where we publish biweekly posts from students and faculty across PLSE. If you're interested in learning more about the work that goes on in our lab, please check it out!