Follow
Alexandra E. Michael
Alexandra E. Michael
PhD Student in Computer Science, University of Washington
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Mswasm: Soundly enforcing memory-safe execution of unsafe code
AE Michael, A Gollamudi, J Bosamiya, E Johnson, A Denlinger, ...
Proceedings of the ACM on Programming Languages 7 (POPL), 425-454, 2023
142023
Avoiding Instruction-Centric Microarchitectural Timing Channels Via Binary-Code Transformations
M Flanders, RK Sharma, AE Michael, D Grossman, D Kohlbrenner
ASPLOS. To appear, 2024
22024
The system can't perform the operation now. Try again later.
Articles 1–2